-------------------------------------------------------------------------------
- General
- Fix the bug in writing only modified symbols.
- Return summary dataframe for all synchronous backends.
- Fix the bug in using set, alias attributes in conditions.
- Documentation
- Re-run notebooks to reflect the changes in solve summary.
- Testing
- Add tests for the returned summary dataframe from solve.
- Add tests for solve with trace options.
-------------------------------------------------------------------------------