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