@hackage linearEqSolver2.0

Use SMT solvers to solve linear systems 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.9 && <5
- sbv >=7.3
Dependents (1)
@hackage/acme-everything

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