|
hanoi
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
pigeon
|
fix test; make test scripts PWD-independent
|
2014-11-04 17:48:22 +01:00 |
|
sat
|
Replaced True and false as pure formulas in tseitin
|
2014-11-12 23:38:05 +01:00 |
|
smt
|
Trivial tests for smt
|
2014-11-14 18:01:07 +01:00 |
|
ssa
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
run
|
Added smtlib unsat tests to test script
|
2014-11-10 20:01:51 +01:00 |
