*.kdev4
*.pyc
*.aux
*.bbl
*.blg
*.log
*.pdf
*.out
.gdb_history
.directory
build/
scripts/fuzz/out/
scripts/reconf/outs
tests/cnf-files/*.sqlite
scripts/fuzz/fuzzTest_*
scripts/fuzz/tmp_for_xor_to_cnf_*
scripts/reconf/outfile*
.vscode
web/jquery-1.11.3.min.js
*.pdf
*.aux
*.blg
*.log
*.bbl
*.bak
/.vs
tags
.cache
.ccls-cache
dist
jni
docs
pycrypto.*egg-info
node_modules
ml-data
pycryptosat.egg-info
compile_commands.json
tests/breakid*
web
src/predict
scripts/linpb*
/result
mldata
html/cryptominisat5.js
html/cryptominisat5.wasm
.claude
/scripts/fuzz/frat-rs
/scripts/fuzz/frat-xor
/scripts/fuzz/doalarm
/scripts/fuzz/cake_xlrup
/scripts/fuzz/repro.sh
/scripts/fuzz/oracle_fuzz_failures
