summaryrefslogtreecommitdiff
path: root/hsolve/Main.hs
Commit message (Expand)AuthorAge
* hsolve: Fix print spacingtomsmeding2018-09-02
* hsolve: use cell coverings to scratchtomsmeding2018-09-01
* hsolve: Renaming, reorderingtomsmeding2018-09-01
* hsolve: fix bugtomsmeding2018-09-01
* hsolve: stronger indirect scratchingTom Smeding2018-09-01
* Haskell solver that uses rulesTom Smeding2018-08-08