linearEqSolver v2.0 Release NotesRelease Date: 2017-10-25 // almost 4 years ago
- Use defaultSMTConfig exported from SBV
- All-solution variants now take the max-number of solutions requested, following the corresponding changes in SBV itself. Thanks to Mitchell Rosen for reporting.
Previous changes from v1.3
- Use the Solver type from SBV directly for picking the solver, avoiding bit-rot.
- Adjust SBV dependency to >= 3.1, to get proper access to Solver type