summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cec.h
Commit message (Expand)AuthorAgeFilesLines
* Several bug fixes and silencing requests.Alan Mishchenko2015-03-161-1/+1
* Adding silent mode to &cec -m.Alan Mishchenko2015-03-151-0/+1
* Naive (SAT-only) CEC option.Alan Mishchenko2014-10-101-0/+1
* Enabling circuit solver in &fraig.Alan Mishchenko2014-08-121-0/+1
* Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...Alan Mishchenko2012-10-251-0/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+233