@hackage linearEqSolver2.3

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.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
- 1.2 Wed, 2 Jan 2013

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

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

@hackage linearEqSolver2.3

Categories

License

Maintainer

Links

Versions

linearEqSolver

Build Status

Installation

Dependencies (2)

Dependents (1)