linearEqSolver: Solve linear systems of equations over integers.
Express and solve linear systems of equations over integers, 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/).
You can get a single solution if it exists. Or ask for all possible solutions for underspecified systems, which will be lazily returned in a list.
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 [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 Thu Oct 18 06:50:08 UTC 2012|
|Downloads||2641 total (127 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