ToySolver.OmegaTest

type Model r

solve

solveQFLA

data Options

defaultOptions

checkRealNoCheck

checkRealByFM