summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/AbcGlucose.cpp
Commit message (Expand)AuthorAgeFilesLines
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-5/+2
* Extracting CSAT interface and several cleanups.Alan Mishchenko2017-11-131-37/+0
* Improvements to quantification.Alan Mishchenko2017-11-131-8/+38
* Compiler warnings.Alan Mishchenko2017-11-061-2/+2
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-30/+40
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-25/+153
* Improvements to quantification.Alan Mishchenko2017-10-291-68/+184
* Integrating Glucose into &qbf.Alan Mishchenko2017-10-171-1/+1
* Improvements to SAT based SOP computation.Alan Mishchenko2017-10-061-23/+32
* Experiments with SAT-based quantification.Alan Mishchenko2017-10-041-8/+75
* Experiments with SAT-based quantification.Alan Mishchenko2017-10-041-26/+210
* Fixing minimize_assuptions using Glucose.Alan Mishchenko2017-10-021-53/+70
* Enabling Glucose in SAT sweeping: &fraig -g.Alan Mishchenko2017-09-181-0/+10
* Enabling variable elim in &bmcs -g.Alan Mishchenko2017-09-161-4/+35
* Bug fix in Glucose integration.Alan Mishchenko2017-09-161-19/+64
* Undoing updates to &bmcs to help debugging.Alan Mishchenko2017-09-151-20/+268
* Updates to &bmcs to help debugging.Alan Mishchenko2017-09-121-30/+30
* Experiments with Glucose.Alan Mishchenko2017-09-071-2/+138
* Compiler warnings.Alan Mishchenko2017-09-071-2/+2
* Disabling CNF simplification in &bmcs -g.Alan Mishchenko2017-09-071-27/+29
* Trying to enable CNF simplification in &bmcs -g.Alan Mishchenko2017-09-071-26/+49
* Integrating Glucose into bmc3 -g.Alan Mishchenko2017-09-061-0/+15
* Renaming Glucose namespace to avoid collisions with external solvers.Alan Mishchenko2017-09-061-21/+21
* Integrating Glucose into &bmcs -g.Alan Mishchenko2017-09-061-11/+81
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+268