summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecCorr.c
Commit message (Collapse)AuthorAgeFilesLines
* Disallow the circiut-based solver in &scorr to run with more than 1000 ↵Alan Mishchenko2012-04-241-0/+3
| | | | conflicts.
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+1137