summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecSatG3.c
Commit message (Expand)AuthorAgeFilesLines
* Adding new switch to &cec.Alan Mishchenko2022-05-201-0/+11
* Bug fix in &uif.Alan Mishchenko2022-04-241-0/+2
* Experiments with SAT sweeping.Alan Mishchenko2022-04-241-2/+1
* Experiments with SAT sweeping.Alan Mishchenko2022-04-241-0/+2330