/contrib/
../
README
alttheoryskel
competitions
cut-release
cvc-devel.el
cvc-mode.el
cvc4_strict_smtlib
debug-keys
depgraph
dimacs_to_smt.pl
get-abc
get-antlr-3.4
get-authors
get-cadical
get-cryptominisat
get-drat2er
get-glpk-cut-log
get-gmp-dev
get-kissat
get-lfsc-checker
get-poly
get-script-header.sh
get-symfpu
get-win-dependencies
glpk-cut-log.patch
lfsc_lsan.supp
luby.c
mk_starexec
new-theory
new-theory.awk
optionsskel
spellcheck
sygus-v1-to-v2.sh
test_install_headers.sh
theoryskel
update-copyright.pl