The linearEqSolver package

[Tags: bsd3, library]

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

Currently, the following SMT solvers are supported:

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.9) [details]
LicenseBSD3
CopyrightLevent Erkok, 2012-2013
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
UploadedWed Jan 2 06:54:30 UTC 2013 by LeventErkok
DistributionsNixOS:1.3
Downloads622 total (40 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.2

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)