chubbymaggie/fuzzball — pull request #2 by chubbymaggie (2014-09-26 10:59:25+00:00)
Title: Start btor-as-stp.pl wrapper script

Stopgap for testing Boolector before we have native SMTLIB2 support.