linearEqSolver: Use SMT solvers to solve linear systems over integers and rationals
Solve linear systems of equations over integers and rationals, using an SMT solver.
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/CHANGES.md
[Skip to Readme]
Downloads
- linearEqSolver-2.3.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 |
|---|---|
| Change log | CHANGES.md |
| Dependencies | base (>=4.9 && <5), sbv [details] |
| License | BSD-3-Clause |
| Copyright | Levent Erkok, 2012-2020 |
| 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 2020-05-13T17:37:53Z |
| 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] Last success reported on 2020-05-13 [all 1 reports] |
Readme for linearEqSolver-2.3
[back to package description]linearEqSolver
Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions over rationals are supported. Either single solutions, or all solutions can be computed. See the inline comments in the haddock documentation for example use cases.
Build Status
