linearEqSolver: Use SMT solvers to solve linear systems over integers and rationals
Solve linear systems of equations over integers and rationals, using an SMT solver.
Currently, the following SMT solvers are supported:
Z3 from Microsoft (http://z3.codeplex.com/).
CVC4 from New York University and the University of Iowa (http://cvc4.cs.nyu.edu) linearEqSolver is hosted at GitHub: http://github.com/LeventErkok/linearEqSolver. Comments, bug reports, and patches are always welcome.
Release notes can be seen at: http://github.com/LeventErkok/linearEqSolver/blob/master/RELEASENOTES.
[Skip to Readme]
|Versions||1.0, 1.1, 1.2, 1.3, 2.0|
|Dependencies||base (==4.*), sbv (>=2.9) [details]|
|Copyright||Levent Erkok, 2012-2013|
|Maintainer||Levent Erkok (email@example.com)|
|Source repo||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||by LeventErkok at Wed Jan 2 06:54:30 UTC 2013|
|Downloads||1697 total (13 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees