/test/regress/regress0/
../
Makefile
Makefile.am
boolean-prec.cvc
boolean.cvc
bug1.cvc
bug32.cvc
hole6.cvc
logops.01.cvc
logops.02.cvc
logops.03.cvc
logops.04.cvc
logops.05.cvc
precedence
queries0.cvc
simple-uf.smt
simple.cvc
simple.smt
simple2.smt
smallcnf.cvc
test11.cvc
test12.cvc
test9.cvc
uf20-03.cvc
wiki.01.cvc
wiki.02.cvc
wiki.03.cvc
wiki.04.cvc
wiki.05.cvc
wiki.06.cvc
wiki.07.cvc
wiki.08.cvc
wiki.09.cvc
wiki.10.cvc
wiki.11.cvc
wiki.12.cvc
wiki.13.cvc
wiki.14.cvc
wiki.15.cvc
wiki.16.cvc
wiki.17.cvc
wiki.18.cvc
wiki.19.cvc
wiki.20.cvc
wiki.21.cvc