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|
|Change log||None available|
|Dependencies||base (==4.*), sbv [details]|
|Copyright||Levent Erkok, 2012|
|Maintainer||Levent Erkok (firstname.lastname@example.org)|
|Source repository||head: git clone git://github.com/LeventErkok/linearEqSolver.git|
|Uploaded||Thu Oct 18 06:50:08 UTC 2012 by LeventErkok|
|Downloads||724 total (24 in last 30 days)|
|Status||Docs available [build log]|
Successful builds reported [all 1 reports]
- linearEqSolver-1.0.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees