Name: linearEqSolver
Version: 1.2
Category: Math, SMT
Synopsis: Use SMT solvers to solve linear systems over integers and rationals
Description: Solve linear systems of equations over integers and rationals, using an SMT solver.
.
Currently, the following SMT solvers are supported:
.
* Z3 from Microsoft ().
.
* CVC4 from New York University and the University of Iowa ()
linearEqSolver is hosted at GitHub: . Comments,
bug reports, and patches are always welcome.
.
.
Release notes can be seen at: .
Copyright: Levent Erkok, 2012-2013
License: BSD3
License-file: LICENSE
Stability: Experimental
Author: Levent Erkok
Homepage: http://github.com/LeventErkok/linearEqSolver
Bug-reports: http://github.com/LeventErkok/linearEqSolver/issues
Maintainer: Levent Erkok (erkokl@gmail.com)
Build-Type: Simple
Cabal-Version: >= 1.14
Extra-Source-Files: INSTALL, README, COPYRIGHT, RELEASENOTES
source-repository head
type: git
location: git://github.com/LeventErkok/linearEqSolver.git
Library
default-language: Haskell2010
ghc-options : -Wall
Build-Depends : base >= 4 && < 5
, sbv >= 2.9
Exposed-modules : Math.LinearEquationSolver