Print out constraints in SMTLIB 2 format