.gitignore

   1 #Ignoring netbeans configs
   2 nbproject/
   3 sat_solver*
   4
   5 #Ignoring binary files
   6 src/bin/
   7 src/lib_cons_comp.so
   8 /src/mymemory.cc
   9 .*
  10 *.dSYM
  11
  12 # Ignoring the Benchmarks
  13 src/Benchmarks/