The linearEqSolver package

[Tags:bsd3, library]

Express and solve linear systems of equations over integers, using an SMT solver to do the actual solving. By default, we use Microsoft's Z3 SMT solver (http://research.microsoft.com/en-us/um/redmond/projects/z3/).

You can get a single solution if it exists. Or ask for all possible solutions for underspecified systems, which will be lazily returned in a list.

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]

Properties

Versions 1.0, 1.1, 1.2, 1.3
Dependencies base (==4.*), sbv [details]
License BSD3
Copyright Levent Erkok, 2012
Author Levent Erkok
Maintainer Levent Erkok (erkokl@gmail.com)
Stability Experimental
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 18 06:50:08 UTC 2012 by LeventErkok
Distributions NixOS:1.3
Downloads 886 total (11 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for linearEqSolver

Readme for linearEqSolver-1.0

linearEqSolver
==============

Solve systems of linear equations of many unknowns, using SMT solvers.

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)