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