summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/AbcGlucose.h
Commit message (Expand)AuthorAgeFilesLines
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-2/+2
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-1/+2
* Integrating Glucose into &qbf.Alan Mishchenko2017-10-171-1/+1
* Improvements to SAT based SOP computation.Alan Mishchenko2017-10-061-1/+1
* Experiments with SAT-based quantification.Alan Mishchenko2017-10-041-0/+2
* Experiments with SAT-based quantification.Alan Mishchenko2017-10-041-0/+2
* Enabling Glucose in SAT sweeping: &fraig -g.Alan Mishchenko2017-09-181-0/+6
* Enabling variable elim in &bmcs -g.Alan Mishchenko2017-09-161-0/+2
* Trying to enable CNF simplification in &bmcs -g.Alan Mishchenko2017-09-071-7/+11
* Integrating Glucose into bmc3 -g.Alan Mishchenko2017-09-061-0/+2
* 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