The linearEqSolver package

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

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/CHANGES.md


[Skip to Readme]

Properties

Versions 1.0, 1.1, 1.2, 1.3, 2.0
Change log CHANGES.md
Dependencies base (>=4.9 && <5), sbv (>=7.3) [details]
License BSD3
Copyright Levent Erkok, 2012-2017
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 repository head: git clone git://github.com/LeventErkok/linearEqSolver.git
Uploaded Thu Oct 26 02:44:56 UTC 2017 by LeventErkok
Distributions NixOS:2.0
Downloads 1100 total (44 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-10-26 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for linearEqSolver-2.0

[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 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)