.gitignore

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