ToySolver.Arith.OmegaTest

Solving

type Model r

solve

solveQFLIRAConj

Options for solving

data Options

defaultOptions

checkRealNoCheck

checkRealByFM

checkRealByCAD

checkRealByVS

checkRealBySimplex