Commit Graph

7 Commits

Author SHA1 Message Date
Clifford Wolf e063f64ea2 Improvements to smtio.py 2015-09-18 20:19:14 +02:00
Clifford Wolf 686289adc5 Improvements in smtio.py 2015-08-28 00:59:12 +02:00
Clifford Wolf 3512605052 Added smtio.py "timer display during solving" feature 2015-08-27 22:25:11 +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 f227332a98 Added scripts/smt2-bmc/sync.* 2015-08-15 11:28:35 +02:00