summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose2/Heap2.h
Commit message (Expand)AuthorAgeFilesLines
* Upgrade to the circuit-based solver.Alan Mishchenko2021-04-271-0/+169