New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / .gitignore
index 9ef88754221ede6d0189ac438ee3f3bc11850a0c..92f34162aaa28321bcc8e7c3a686bd92f1966a47 100644 (file)
@@ -2,10 +2,13 @@
 
 *.ans
 *.pyc
+*.in
+*.out
 
 # files
 .project
 .pydevproject
 .settings/
+dataset-cs/
 csolver
 problems