« Changelog History


linearEqSolver v1.1 Release Notes

Release Date: 2012-10-22 // over 11 years ago
    • Add solvers over rationals, in addition to just integers.
    • Adjust SBV dependency to >= 2.7 as we depend on the new Real instance for the AlgReal type.