@hackage linearEqSolver1.2

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 && <5
- sbv >=2.9
Dependents (1)
@hackage/acme-everything

Solve linear systems of equations over integers and rationals, using an SMT solver.

Currently, the following SMT solvers are supported:

Z3 from Microsoft (http://z3.codeplex.com/).
CVC4 from New York University and the University of Iowa (http://cvc4.cs.nyu.edu) 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.