summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/Glucose.cpp
Commit message (Expand)AuthorAgeFilesLines
* New exact synthesis command 'allexact'.Alan Mishchenko2017-12-281-0/+6
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-1/+5
* Changes to Glucose to enable resetting the solver.Alan Mishchenko2017-09-181-0/+63
* Bug fix in Glucose integration.Alan Mishchenko2017-09-161-2/+2
* Experiments with Glucose.Alan Mishchenko2017-09-071-1/+1
* Experiments with Glucose.Alan Mishchenko2017-09-071-24/+14
* Compiler warnings.Alan Mishchenko2017-09-071-1/+1
* Compiler warnings.Alan Mishchenko2017-09-071-11/+11
* Bug fix: forgot to init the runtime limit in Glucose.Alan Mishchenko2017-09-061-0/+1
* Integrating Glucose into bmc3 -g.Alan Mishchenko2017-09-061-0/+1
* More renaming.Alan Mishchenko2017-09-061-5/+5
* Renaming Glucose namespace to avoid collisions with external solvers.Alan Mishchenko2017-09-061-1/+1
* Integrating Glucose into &bmcs -g.Alan Mishchenko2017-09-061-7/+7
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+1438