Math.LinearEquationSolver

Available SMT solvers

data Solver

Solutions over Integers

solveIntegerLinearEqs

solveIntegerLinearEqsAll

Solutions over Rationals

solveRationalLinearEqs

solveRationalLinearEqsAll