/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
make-release.py
update-copyright.pl