projects / Benchmarks_CSolver.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
New dataset + Using Glucose instead of Pycosat
[Benchmarks_CSolver.git] / killerSudoku / .gitignore
1 # Formats
2
3 *.ans
4 *.pyc
5 *.in
6 *.out
7
8 # files
9 .project
10 .pydevproject
11 .settings/
12 dataset-cs/
13 csolver
14 problems
Unnamed repository; edit this file 'description' to name the repository.