The linearEqSolver package
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||1.0, 1.1, 1.2, 1.3|
|Dependencies||base (==4.*), sbv [details]|
|Copyright||Levent Erkok, 2012|
|Maintainer||Levent Erkok (email@example.com)|
|Source repository||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||Thu Oct 18 06:50:08 UTC 2012 by LeventErkok|
|Downloads||862 total (9 in the last 30 days)|
|Status||Docs available [build log]
Successful builds reported [all 1 reports]
For package maintainers and hackage trustees