The linearEqSolver package

[Tags: bsd3, library]

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 (http://research.microsoft.com/en-us/um/redmond/projects/z3/).

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

Versions1.0, 1.1, 1.2, 1.3
Change logNone available
Dependenciesbase (==4.*), sbv (>=2.7) [details]
LicenseBSD3
CopyrightLevent Erkok, 2012
AuthorLevent Erkok
MaintainerLevent Erkok (erkokl@gmail.com)
StabilityExperimental
CategoryMath, SMT
Home pagehttp://github.com/LeventErkok/linearEqSolver
Bug trackerhttp://github.com/LeventErkok/linearEqSolver/issues
Source repositoryhead: git clone git://github.com/LeventErkok/linearEqSolver.git
UploadedSun Oct 21 23:25:12 UTC 2012 by LeventErkok
DistributionsNixOS:1.3
Downloads656 total (31 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for linearEqSolver-1.1

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

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