Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |