The linearEqSolver package
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|
|Dependencies||base (==4.*), sbv (>=2.9) [details]|
|Copyright||Levent Erkok, 2012-2013|
|Maintainer||Levent Erkok (firstname.lastname@example.org)|
|Source repository||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||Wed Jan 2 06:54:30 UTC 2013 by LeventErkok|
|Downloads||852 total (9 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees