# Ignoring editor's config folder
*/nbproject/
*/dumps/
*/temp.out
# Other Benchmarks
scratch/
BlackBox/
coloring_SAT/
decamouflage/
flow_solver/
numberlink/
slither-link-sat/
satPlan2006/
./*/learningset/

# Format
DUMP*
*/.svn/*
*/.project
*/.pydevproject
*/log_file
*.pyc
/*/*.csv
/*/*.log
/*/*.sol
/*/*.als
*.dump
*.smtout
*.smt
*.svn-base
*/*/*.dump
/Neo/build/