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.
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 (>=3.1) [details]|
|Copyright||Levent Erkok, 2012-2013|
|Maintainer||Levent Erkok (firstname.lastname@example.org)|
|Source repo||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||by LeventErkok at Thu Aug 28 02:53:24 UTC 2014|
|Downloads||2675 total (111 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Successful builds reported [all 1 reports]
For package maintainers and hackage trustees