linearEqSolver: Use SMT solvers to solve linear systems of equations over integers and rationals.

[ bsd3, library, math, smt ] [ Propose Tags ]

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:

[Skip to Readme]
Versions [faq] 1.0, 1.1, 1.2, 1.3, 2.0
Dependencies base (==4.*), sbv (>=2.7) [details]
License BSD-3-Clause
Copyright Levent Erkok, 2012
Author Levent Erkok
Maintainer Levent Erkok (
Category Math, SMT
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by LeventErkok at Sun Oct 21 23:25:12 UTC 2012
Distributions NixOS:2.0
Downloads 2641 total (127 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for linearEqSolver-1.1

[back to package description]

Solve systems of linear equations, using SMT solvers. Both integer only solutions, and solutions
over rationals are supported.

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