The linearEqSolver package

[Tags:bsd3, library]

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

Currently, the following SMT solvers are supported:

Release notes can be seen at:

[Skip to Readme]


Versions 1.0, 1.1, 1.2, 1.3
Dependencies base (==4.*), sbv (>=2.9) [details]
License BSD3
Copyright Levent Erkok, 2012-2013
Author Levent Erkok
Maintainer Levent Erkok (
Category Math, SMT
Home page
Bug tracker
Source repository head: git clone git://
Uploaded Wed Jan 2 06:54:30 UTC 2013 by LeventErkok
Distributions NixOS:1.3
Downloads 930 total (6 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for linearEqSolver

Readme for linearEqSolver-1.2


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