#Ignoring netbeans configs nbproject/ sat_solver setup.sh #Ignoring binary files src/bin/ src/lib_cons_comp.so /src/mymemory.cc .* *.dSYM