linearEqSolver-1.1: Use SMT solvers to solve linear systems of equations over integers and rationals.

The linearEqSolver package

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.

Properties

Versions1.0, 1.1, 1.2
Dependenciesbase (4.*), sbv (≥2.7)
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 repositorygit clone git://github.com/LeventErkok/linearEqSolver.git
Upload dateSun Oct 21 23:25:12 UTC 2012
Uploaded byLeventErkok
Built onghc-7.6

Modules

Downloads