Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 23 lines (15 sloc) 0.792 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
Hackage: <http://hackage.haskell.org/package/linearEqSolver>
GitHub: <http://github.com/LeventErkok/linearEqSolver>

Latest Hackage released version: 1.2

======================================================================
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.
Something went wrong with that request. Please try again.