summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/Alloc.h
Commit message (Expand)AuthorAgeFilesLines
* Changes to Glucose to enable resetting the solver.Alan Mishchenko2017-09-181-0/+1
* Renaming Glucose namespace to avoid collisions with external solvers.Alan Mishchenko2017-09-061-1/+1
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+131