linearEqSolver: a library to solve systems of linear equations, using SMT solvers. Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions over rationals are supported. Either single solutions, or (a lazy list of) all solutions can be computed. The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Hernández, Noé; Eder, Kerstin; Magid, Evgeni; Savage, Jesús; Rosenblueth, David A.: Marimba: a tool for verifying properties of hidden Markov models (2015)