summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecSat.c
Commit message (Expand)AuthorAgeFilesLines
* Experiments with SAT-based simulation.Alan Mishchenko2018-01-251-8/+11
* Experiments with SAT-based simulation.Alan Mishchenko2018-01-231-2/+17
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-31/+36
* Fixing bronken C++ build; Satoko internal header, solver.h, should not be use...Bruno Schmitt2017-08-291-8/+10
* Experiments with SAT sweeping.Alan Mishchenko2017-04-111-1/+6
* Experiments with SAT sweeping.Alan Mishchenko2017-04-111-23/+26
* Integration of new SAT sweeper.Alan Mishchenko2017-03-111-10/+32
* Experiments with SAT sweeping.Alan Mishchenko2017-02-201-2/+17
* Experiments with SAT sweeping.Alan Mishchenko2017-02-191-18/+71
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-23/+96
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-0/+862