TSAT++: an Open Platform for Satisfiability Modulo Theories