.gitignore

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