All Versions
5
Latest Version
2.0
Avg Release Cycle
458 days
Latest Release
2517 days ago

Changelog History

  • v2.0 Changes

    October 25, 2017
    • 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.

  • v1.3 Changes

    August 27, 2014
    • 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

  • v1.2 Changes

    January 02, 2013
    • Allow both CVC4 and Z3 to be used as the SMT solver.
    • Adjust SBV dependency to >= 2.9, to get access to CVC4.

  • v1.1 Changes

    October 22, 2012
    • 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.

  • v1.0 Changes

    October 18, 2012
    • Initial release, contains solver for integer linear equations.