adding smtlib conversion script