summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Add backtracking solverTom Smeding2018-09-01
|
* hsolve: stronger indirect scratchingTom Smeding2018-09-01
|
* Unsafe array operations in FSuTom Smeding2018-08-08
| | | | Another 15% faster on suvh.txt, for a total of 32%
* Unboxed arrays in FSuTom Smeding2018-08-08
| | | | 20% faster than before on suvh.txt
* Add suvh.txtTom Smeding2018-08-08
|
* Haskell solver that uses rulesTom Smeding2018-08-08
|
* Read from stdinTom Smeding2018-08-02
|
* Make verifyConsistent privatetomsmeding2016-10-28
|
* Initialtomsmeding2016-10-28