summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/module.make
Commit message (Expand)AuthorAgeFilesLines
* Enabling Glucose in SAT sweeping: &fraig -g.Alan Mishchenko2017-09-181-0/+1
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-0/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-0/+1
* Removed unused files from the project.Alan Mishchenko2012-07-251-1/+0
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+13