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

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

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]
Versions [RSS] [faq] 1.0, 1.1, 1.2, 1.3, 2.0, 2.1, 2.2, 2.3
Change log
Dependencies base (>=4.9 && <5), sbv [details]
License BSD-3-Clause
Copyright Levent Erkok, 2012-2020
Author Levent Erkok
Maintainer Levent Erkok (
Category Math, SMT
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by LeventErkok at 2020-05-13T17:37:53Z
Distributions NixOS:2.3
Downloads 4059 total (51 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-05-13 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees


Readme for linearEqSolver-2.3

[back to package description]


Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions over rationals are supported. Either single solutions, or all solutions can be computed. See the inline comments in the haddock documentation for example use cases.

Build Status

Build Status