@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.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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

linearEqSolver

Solve systems of linear equations, using SMT solvers. Both integer only solutions, and solutions over rationals are supported.

Build Status

We use Travis-CI's automated build infrastructure, making a build for each commit. Current build status: