linearEqSolver v2.0 Release Notes
Release Date: 2017-10-25 // over 6 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