/src/lfsc/tests/
../
_sat.plf
array.smt2
array_bv3.smt2
array_ext.smt2
array_ext2.smt2
array_incompleteness1.smt2
bv1.smt2
bv2.smt2
bv3.smt2
bv_add.smt2
bv_artih.smt2
bv_mult.smt2
bv_mult10.smt2
bvand1.smt2
bvconcat.smt2
bvneg0_32.smt2
bvnot32.smt2
bvult.smt2
cvc4_coq40d8ed.smt2
cvc4tocoq
cvc4tov
dead_dnd001.smt2
dead_dnd001_and.smt2
eq_diamond37.smt2
ex.smt2
exx.smt2
hole.smt2
lia1.smt2
run.sh
sat13.smt2
sat6.smt2
sat7.smt2
signatures
simple.smt2
swap1.smt2
swap3.smt2
tcong.smt2
trans.smt2
typesafe2.smt2
typesafe3.smt2
uf1.smt2
uf2.smt2
uf4.smt2
uf5.smt2
uf6.smt2
uf7.smt2
vmcai_bytes.smt2
wrapper_cvc4tocoq.sh