Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | solve_bt_bfs: more powerful isValidHEADmaster | tomsmeding | 2018-09-02 |
| | |||
* | hsolve: Fix print spacing | tomsmeding | 2018-09-02 |
| | |||
* | hsolve: use cell coverings to scratch | tomsmeding | 2018-09-01 |
| | |||
* | hsolve: Renaming, reordering | tomsmeding | 2018-09-01 |
| | |||
* | Add experimental BFS solver | tomsmeding | 2018-09-01 |
| | |||
* | hsolve: fix bug | tomsmeding | 2018-09-01 |
| | |||
* | Add another test sudoku | Tom Smeding | 2018-09-01 |
| | |||
* | Add backtracking solver | Tom Smeding | 2018-09-01 |
| | |||
* | hsolve: stronger indirect scratching | Tom Smeding | 2018-09-01 |
| | |||
* | Unsafe array operations in FSu | Tom Smeding | 2018-08-08 |
| | | | | Another 15% faster on suvh.txt, for a total of 32% | ||
* | Unboxed arrays in FSu | Tom Smeding | 2018-08-08 |
| | | | | 20% faster than before on suvh.txt | ||
* | Add suvh.txt | Tom Smeding | 2018-08-08 |
| | |||
* | Haskell solver that uses rules | Tom Smeding | 2018-08-08 |
| | |||
* | Read from stdin | Tom Smeding | 2018-08-02 |
| | |||
* | Make verifyConsistent private | tomsmeding | 2016-10-28 |
| | |||
* | Initial | tomsmeding | 2016-10-28 |