The linearEqSolver package

[Tags: bsd3, library]

Express and solve linear systems of equations over integers, using an SMT solver to do the actual solving. By default, we use Microsoft's Z3 SMT solver (

You can get a single solution if it exists. Or ask for all possible solutions for underspecified systems, which will be lazily returned in a list.

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 [details]
CopyrightLevent Erkok, 2012
AuthorLevent Erkok
MaintainerLevent Erkok (
CategoryMath, SMT
Home page
Bug tracker
Source repositoryhead: git clone git://
UploadedThu Oct 18 06:50:08 UTC 2012 by LeventErkok
Downloads724 total (24 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.0


Solve systems of linear equations of many unknowns, using SMT solvers.

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