summaryrefslogtreecommitdiff
path: root/hsolve/Main.hs
Commit message (Collapse)AuthorAge
* 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