| .. |
|
acycl-diamond
|
add some datatype acyclicity benchs + a generator
|
2021-07-04 17:17:33 -04:00 |
|
bf
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
bugs
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
dubois
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
hanoi
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
jnh
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
pigeon
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
pret
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
sat
|
test: add more regression files
|
2021-02-22 14:30:43 -05:00 |
|
ssa
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
unsat
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
uuf100
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
uuf125
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
uuf150
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
uuf175
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
uuf250
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
benchpress.sexp
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
dune
|
add tests/dune to ignore test directories for dune
|
2021-03-29 13:30:13 -04:00 |
|
QF_DT
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
QF_UF
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
run
|
rename to cdcl
|
2018-01-22 22:09:47 -06:00 |
