CLEARSY. pog2smtlib-2.7 [Computer software]. https://github.com/CLEARSY/pog2smtlib-2.7