config.mk
build
*.log
*.cnf
otherSolvers
tmp
glucoses
maplesat
cov-int
cnfs
benchmark
