summaryrefslogtreecommitdiffstats
path: root/src/sat/cnf
Commit message (Expand)AuthorAgeFilesLines
* Experiments with don't-cares.Alan Mishchenko2017-04-022-5/+5
* Experiments with don't-cares.Alan Mishchenko2017-03-281-1/+1
* Experiments with don't-cares.Alan Mishchenko2017-03-262-17/+18
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-131-1/+1
* Adding support of candinality clause to the SAT solver.Alan Mishchenko2016-01-101-1/+10
* Tuning SAT solver for QBF instances.Alan Mishchenko2015-09-181-1/+1
* Tuning SAT solver for QBF instances.Alan Mishchenko2015-09-181-4/+12
* Tuning SAT solver for QBF instances.Alan Mishchenko2015-09-181-3/+9
* Improvements to CNF generation.Alan Mishchenko2014-06-233-1/+160
* Specialized induction check.Alan Mishchenko2013-10-311-3/+6
* Experiment with 'pdr'.Alan Mishchenko2013-07-193-0/+63
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-273-34/+34
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-272-6/+34
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-6/+6
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-2/+2
* Added delay multipliers to 'map'.Alan Mishchenko2012-09-161-1/+1
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-142-51/+47
* Changes to clause mapping.Alan Mishchenko2012-07-111-6/+6
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-074-8/+8
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-073-8/+7
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-042-5/+5
* Performance improvement in &gla.Alan Mishchenko2012-07-043-0/+3
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-094-30/+30
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-095-28/+28
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-2112-0/+8752