/config/
../
.gitignore
abc.m4
antlr.m4
ax_cxx_compile_stdcxx.m4
ax_cxx_compile_stdcxx_11.m4
ax_prog_doxygen.m4
bindings.m4
boost.m4
build-type
cadical.m4
cryptominisat.m4
cvc4.m4
doxygen.am
doxygen.cfg
gcc_version.m4
glpk.m4
lfsc.m4
mkbuilddir
pkg.m4
readline.m4