.gitignore

   1 # Ignoring editor's config folder
   2 */nbproject/
   3
   4 # Other Benchmarks
   5 BlackBox/
   6 decamouflage/
   7 hexiom/
   8 flow_solver/
   9 numberlink/
  10 scratch/
  11 slither-link-sat/
  12
  13 # Format
  14 DUMP*
  15 */.project
  16 */.pydevproject
  17 */log_file