linearEqSolver: Use SMT solvers to solve linear systems of equations over integers and rationals.
Express and solve linear systems of equations over integers and rationals, 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/).
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.1.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, 2.4 |
|---|---|
| Dependencies | base (>=4 && <5), sbv (>=2.7) [details] |
| License | BSD-3-Clause |
| Copyright | Levent Erkok, 2012 |
| Author | Levent Erkok |
| Maintainer | Levent Erkok (erkokl@gmail.com) |
| Uploaded | by LeventErkok at 2012-10-21T23:25:12Z |
| 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 |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 4998 total (18 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |