Name: linearEqSolver Version: 2.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-2020 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.md, COPYRIGHT, CHANGES.md source-repository head type: git location: git://github.com/LeventErkok/linearEqSolver.git Library default-language: Haskell2010 ghc-options : -Wall Build-Depends : base >= 4.9 && < 5, sbv Exposed-modules : Math.LinearEquationSolver