Export MathSAT bridge..