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: <http://github.com/LeventErkok/linearEqSolver>. Comments,
               bug reports, and patches are always welcome.
               .
               .
               Release notes can be seen at: <http://github.com/LeventErkok/linearEqSolver/blob/master/CHANGES.md>

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