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/CHANGES.md
[Skip to Readme]
|Versions [faq]||1.0, 1.1, 1.2, 1.3, 2.0|
|Dependencies||base (>=4.9 && <5), sbv (>=7.3) [details]|
|Copyright||Levent Erkok, 2012-2017|
|Maintainer||Levent Erkok (firstname.lastname@example.org)|
|Source repo||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||by LeventErkok at Thu Oct 26 02:44:56 UTC 2017|
|Downloads||2081 total (47 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2017-10-26 [all 1 reports]
For package maintainers and hackage trustees