The linearEqSolver package

[Tags: bsd3, library]

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

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

Release notes can be seen at:


Versions1.0, 1.1, 1.2, 1.3
Dependenciesbase (==4.*), sbv (>=2.7)
CopyrightLevent Erkok, 2012
AuthorLevent Erkok
MaintainerLevent Erkok (
CategoryMath, SMT
Home page
Bug tracker
Source repositoryhead: git clone git://
UploadedSun Oct 21 23:25:12 UTC 2012 by LeventErkok
Downloads383 total (27 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees