summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/AbcGlucose.h
Commit message (Expand)AuthorAgeFilesLines
* Integrating Glucose into &bmcs -g.Alan Mishchenko2017-09-061-11/+26
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+76