linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals http://github.com/LeventErkok/linearEqSolver

Latest on Hackage:1.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Levent Erkok
Maintained by Levent Erkok (erkokl@gmail.com)
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](https://secure.travis-ci.org/LeventErkok/linearEqSolver.png?branch=master)](http://travis-ci.org/LeventErkok/linearEqSolver)
Depends on:
Used by 1 package:
comments powered byDisqus