• Hackage: http://hackage.haskell.org/package/linearEqSolver

• GitHub: http://github.com/LeventErkok/linearEqSolver

• Latest Hackage released version: 2.1

Version 2.1, 2019-5-13

• Update to compile with more recent versions of SBV. Thanks to Colin McKibben for reporting the breakage.

Version 2.0, 2017-10-25

• 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.

Version 1.3, 2014-08-27

• 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

Version 1.2, 2013-01-02

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

Version 1.1, 2012-10-22

• 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.

Version 1.0, 2012-10-18

• Initial release, contains solver for integer linear equations.