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]
Downloads
- linearEqSolver-1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0, 1.1, 1.2, 1.3, 2.0, 2.1, 2.2, 2.3 |
---|---|
Dependencies | base (>=4 && <5), sbv [details] |
License | BSD-3-Clause |
Copyright | Levent Erkok, 2012 |
Author | Levent Erkok |
Maintainer | Levent Erkok (erkokl@gmail.com) |
Category | Math, SMT |
Home page | http://github.com/LeventErkok/linearEqSolver |
Bug tracker | http://github.com/LeventErkok/linearEqSolver/issues |
Source repo | head: git clone git://github.com/LeventErkok/linearEqSolver.git |
Uploaded | by LeventErkok at 2012-10-18T06:50:08Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 4611 total (32 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Successful builds reported [all 1 reports] |