Added the SMT solver to IsaMixR.