Name: linearEqSolver
Version: 1.1
Category: Math, SMT
Synopsis: Use SMT solvers to solve linear systems of equations over integers and rationals.
Description: 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 ().
.
linearEqSolver is hosted at GitHub: . Comments,
bug reports, and patches are always welcome.
.
.
Release notes can be seen at: .
Copyright: Levent Erkok, 2012
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.7
Exposed-modules : Math.LinearEquationSolver