# Ignoring editor's config folder
*/nbproject/

# Other Benchmarks
BlackBox/
decamouflage/
hexiom/
flow_solver/
numberlink/
scratch/
slither-link-sat/

# Format
DUMP*
*/.project
*/.pydevproject
*/log_file