Commit Graph

6 Commits

Author SHA1 Message Date
Clifford Wolf ebb0ea6f7b Added mkvcd class to smtio.py 2015-08-27 13:44:53 +02:00
Clifford Wolf 4b62d4cbb9 Added (set-info ..) generation to smtio.py 2015-08-27 12:46:02 +02:00
Clifford Wolf 8d1956f0da Using "#!/usr/bin/env python3" 2015-08-22 09:54:21 +02:00
Clifford Wolf c6ee9522df More improvements in smt2-bmc scripts 2015-08-15 18:07:01 +02:00
Clifford Wolf e4ddc26576 Added cvc4 and mathsat to scripts/smt2-bmc 2015-08-15 11:51:55 +02:00
Clifford Wolf b28e82cb81 Refactoring of scripts/smt2-bmc/ 2015-08-15 00:20:06 +02:00