summaryrefslogtreecommitdiff
path: root/hsolve/Main.hs
Commit message (Expand)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 01:19:12 +0100