Hsmtlib.Solvers.MathSAT
startMathSat