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

[ bsd3, library, math, smt ] [ Propose Tags ] [ Report a vulnerability ]

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

linearEqSolver is hosted at GitHub: http://github.com/LeventErkok/linearEqSolver. Comments, bug reports, and patches are always welcome.

Release notes can be seen at: http://github.com/LeventErkok/linearEqSolver/blob/master/RELEASENOTES.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.0, 1.1, 1.2, 1.3, 2.0, 2.1, 2.2, 2.3
Dependencies base (>=4 && <5), sbv (>=3.1) [details]
License BSD-3-Clause
Copyright Levent Erkok, 2012-2013
Author Levent Erkok
Maintainer Levent Erkok (erkokl@gmail.com)
Category Math, SMT
Home page http://github.com/LeventErkok/linearEqSolver
Bug tracker http://github.com/LeventErkok/linearEqSolver/issues
Source repo head: git clone git://github.com/LeventErkok/linearEqSolver.git
Uploaded by LeventErkok at 2014-08-28T02:53:24Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 4779 total (27 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]

Readme for linearEqSolver-1.3

[back to package description]
linearEqSolver
==============

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 http://hackage.haskell.org/package/linearEqSolver 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](https://secure.travis-ci.org/LeventErkok/linearEqSolver.png?branch=master)](http://travis-ci.org/LeventErkok/linearEqSolver)