Name: linearEqSolver Version: 1.3 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. . 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 >= 3.1 Exposed-modules : Math.LinearEquationSolver