/unit-tests/
../
Makefile
Tests_lfsc_tactics.v
Tests_verit_tactics.v
Tests_verit_vernac.v
Tests_zchaff_tactics.v
Tests_zchaff_vernac.v
bv1.log
bv1.smt2
bv2.log
bv2.smt2
cmu-bmc-barrel6.cnf
debug_coq.v
demo_lfsc_bool.v
demo_lfsc_prop.v
ex1.lfsc
ex1.smt2
hole4.cnf
hole4.smt2
large1.v
let1.smt2
let2.smt2
lia1.smt2
lia2.smt2
lia3.smt2
lia4.smt2
lia5.smt2
lia6.smt2
lia7.smt2
runverit.sh
runzchaff.sh
sat0.smt2
sat1.cnf
sat1.smt2
sat10.smt2
sat11.smt2
sat12.smt2
sat13.smt2
sat14.smt2
sat2.cnf
sat2.smt2
sat3.cnf
sat3.smt2
sat4.smt2
sat5.cnf
sat5.smt2
sat6.cnf
sat6.smt2
sat7.cnf
sat7.smt2
sat8.smt2
sat9.smt2
uf1.smt2
uf2.smt2
uf3.smt2
uf4.smt2
uf5.smt2
uf6.smt2
uf7.smt2
velev-sss-1.0-05.cnf