linearEqSolver v1.2 Release Notes

Release Date: 2013-01-02 // about 11 years ago
    • Allow both CVC4 and Z3 to be used as the SMT solver.
    • Adjust SBV dependency to >= 2.9, to get access to CVC4.