Support for MathSAT