aut_cache.json
venv
centralized_verification/automaton/aut_cache.json
runs
checkpoints
wandb
lib/slugs/lib/
submission.zip
*.csv
smv_output.tmp
/lib/slugs/lib/cudd-3.0.0/
