@hackage / linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals

Latest2.4

About

Metadata

  • Last updated , by LeventErkok
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: Levent Erkok (erkokl@gmail.com)

  • Lottery factor: 1

Links

Installation

Readme

linearEqSolver

Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions over rationals are supported. Either single solutions, or all solutions can be computed. See the inline comments in the haddock documentation for example use cases.