smtlib2-0.2: A type-safe interface to communicate with an SMT solver.