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