summaryrefslogtreecommitdiff
path: root/hsolve/Main.hs
Commit message (Collapse)AuthorAge
* hsolve: stronger indirect scratchingTom Smeding2018-09-01
|
* Haskell solver that uses rulesTom Smeding2018-08-08
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-16 03:46:43 +0100