summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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