projects / Benchmarks_CSolver.git / commit
| author | Hamed Gorjiara <hgorjiar@uci.edu> | |
| Fri, 8 Nov 2019 08:03:43 +0000 (00:03 -0800) | ||
| committer | Hamed Gorjiara <hgorjiar@uci.edu> | |
| Fri, 8 Nov 2019 08:03:43 +0000 (00:03 -0800) | ||
| commit | 5ba0973d504fa8b10a0e0560a33bffb2d6fc2ebe | |
| tree | 5af175c29826b8e5b96b141d1befbddfc24973fe | tree | snapshot |
| parent | d6bf55b8926ac2fc9f379a457c986c044c3713b2 | commit | diff |
| sudoku-csolver/4x4.dump | [new file with mode: 0644] | blob |
| sudoku-csolver/alloy_example_output.xml | [new file with mode: 0644] | blob |
| sudoku-csolver/problems/16x16-18.problem | [new file with mode: 0644] | blob |
| sudoku-csolver/problems/25x25-150.problem | [new file with mode: 0644] | blob |
| sudoku-csolver/problems/36x36-589.problem | [new file with mode: 0644] | blob |
| sudoku-csolver/satune.smt | [new file with mode: 0644] | blob |
| sudoku-csolver/solved/16x16.sol | diff | blob | history | |
| sudoku-csolver/solved/25x25.sol | diff | blob | history |