Name: linearEqSolver
Version: 1.0
Category: Math, SMT
Synopsis: Solve linear systems of equations over integers.
Description: Express and solve linear systems of equations over integers, using an SMT solver to do the actual solving.
By default, we use Microsoft's Z3 SMT solver ().
.
You can get a single solution if it exists. Or ask for all possible solutions for underspecified
systems, which will be lazily returned in a list.
.
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
Exposed-modules : Math.LinearEquationSolver