.vscode/
.DS_Store
.stack-work/
output.cnf
dist-newstyle/
*.o
*.hi
CNFTest
/cnf-files*
/threadscope-testing*
tests/CubeNConquer
tests/DPLLPar
tests/LookaheadPar