The linearEqSolver package

[Tags: bsd3, library]

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

linearEqSolver is hosted at GitHub: Comments, bug reports, and patches are always welcome.

Release notes can be seen at:

[Skip to ReadMe]


Versions1.0, 1.1, 1.2, 1.3
Change logNone available
Dependenciesbase (==4.*), sbv (>=3.1) [details]
CopyrightLevent Erkok, 2012-2013
AuthorLevent Erkok
MaintainerLevent Erkok (
CategoryMath, SMT
Home page
Bug tracker
Source repositoryhead: git clone git://
UploadedThu Aug 28 02:53:24 UTC 2014 by LeventErkok
Downloads688 total (32 in last 30 days)
0 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]




Maintainers' corner

For package maintainers and hackage trustees

Readme for linearEqSolver-1.3


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 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](](