summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaQbf.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating Glucose into &qbf.Alan Mishchenko2017-10-171-3/+3
* Integrating Glucose into &qbf.Alan Mishchenko2017-10-171-9/+32
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ...Alan Mishchenko2017-02-101-7/+5
* Improvements to QBF solver; new quantification command &qvar.Alan Mishchenko2015-09-181-12/+80
* Compiler warnings.Alan Mishchenko2015-06-241-1/+0
* New command &genqbf to dump the QBF miter for ind inv computation.Alan Mishchenko2015-06-231-1/+122
* Experiments with SAT-based cube enumeration.Alan Mishchenko2015-03-051-3/+3
* New command &satenum to enumerate SAT assignments of a miter in a naive way.Alan Mishchenko2014-10-251-0/+59
* Adding switch &qbf -q to quantify functional variables.Alan Mishchenko2014-10-201-2/+1
* Adding switch &qbf -q to quantify functional variables.Alan Mishchenko2014-10-201-1/+41
* Improved QBF solver.Alan Mishchenko2014-10-181-19/+94
* Improved QBF solver.Alan Mishchenko2014-10-181-10/+25
* Improved QBF solver.Alan Mishchenko2014-10-181-0/+304