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 / dataset-cs / 3 / 3-4.killer
1 7=(1, 2)+(1, 3)+(0, 3)
2 9=(3, 0)+(3, 1)+(2, 0)
3 8=(3, 3)+(2, 3)+(2, 2)
4 9=(0, 1)+(0, 2)+(1, 1)
5 1=(2, 1)
6 4=(1, 0)+(0, 0)
7 2=(3, 2)
Unnamed repository; edit this file 'description' to name the repository.