Solve systems of linear equations, using SMT solvers.
Haskell Makefile
Permalink
Failed to load latest commit information.
Math Use SBV 3.2's defaultSMTConfig function Aug 28, 2014
.gitignore Release 1.1 Oct 23, 2012
.travis.yml Upgrade to new travis infrastructure Sep 26, 2015
CHANGES.md Use SBV 3.2's defaultSMTConfig function Aug 28, 2014
COPYRIGHT Update copyright year etc. Jan 2, 2013
INSTALL Release 1.1 Oct 23, 2012
LICENSE Update copyright year etc. Jan 2, 2013
Makefile change how hlint is called Feb 14, 2013
README Release 1.1 Oct 23, 2012
README.md Release 1.1 Oct 23, 2012
Setup.hs Upgrade to new travis infrastructure Sep 26, 2015
linearEqSolver.cabal

README.md

linearEqSolver

Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions over rationals are supported. Either single solutions, or (a lazy list of) all solutions can be computed.

The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases.

Build Status

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