/contrib/
../
README
competitions
cvc-devel.el
cvc-mode.el
cvc5_strict_smtlib
get-abc
get-authors
get-drat2er
get-glpk-cut-log
get-lfsc-checker
get-script-header.sh
glpk-cut-log.patch
learn_resource_weights.py
mkfinalrulecount
mkrulechecks
run_regression_lfsc
test_proof_lfsc
test_proof_new_v2
update-copyright.pl