module Language.Hasmtlib.Solver.MathSAT where import SMTLIB.Backends.Process -- | A 'Config' for MathSAT. -- Requires binary @mathsat@ to be in path. mathsat :: Config mathsat :: Config mathsat = Config defaultConfig { exe = "mathsat", args = [] } -- | A 'Config' for OptiMathSAT. -- Requires binary @optimathsat@ to be in path. optimathsat :: Config optimathsat :: Config optimathsat = Config defaultConfig { exe = "optimathsat", args = ["-optimization=true"] }