The linearEqSolver package

[Tags: bsd3, library]

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/RELEASENOTES.


Properties

Versions1.0, 1.1, 1.2, 1.3
Dependenciesbase (==4.*), sbv (>=3.1)
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
UploadedThu Aug 28 02:53:24 UTC 2014 by LeventErkok
Downloads383 total (31 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees