summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cec.h
Commit message (Collapse)AuthorAgeFilesLines
* Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵Alan Mishchenko2012-10-251-0/+1
| | | | constant.
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+233