@hackage linearEqSolver1.1

Use SMT solvers to solve linear systems of equations over integers and rationals.

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Levent Erkok (erkokl@gmail.com)
Links
Versions
- 2.4 Mon, 23 Dec 2024
- 2.3 Wed, 13 May 2020
- 2.2 Wed, 13 May 2020
- 2.1 Wed, 13 May 2020
- 2.0 Thu, 26 Oct 2017
- 1.3 Thu, 28 Aug 2014

Installation
In your cabal file:
Dependencies (2)
- base >=4 && <5
- sbv >=2.7
Dependents (1)
@hackage/acme-everything

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.