summaryrefslogtreecommitdiff
path: root/hsolve
Commit message (Expand)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
* Unsafe array operations in FSuTom Smeding2018-08-08
* Unboxed arrays in FSuTom Smeding2018-08-08
* Haskell solver that uses rulesTom Smeding2018-08-08