linearEqSolver: Use SMT solvers to solve linear systems of equations over integers and rationals.
Express and solve linear systems of equations over integers and rationals, using an SMT solver to do the actual solving. By default, we use Microsoft's Z3 SMT solver (http://research.microsoft.com/en-us/um/redmond/projects/z3/).
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 [faq]||1.0, 1.1, 1.2, 1.3, 2.0|
|Dependencies||base (==4.*), sbv (>=2.7) [details]|
|Copyright||Levent Erkok, 2012|
|Maintainer||Levent Erkok (firstname.lastname@example.org)|
|Source repo||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||by LeventErkok at Sun Oct 21 23:25:12 UTC 2012|
|Downloads||2641 total (127 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees