summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satVec.h
Commit message (Expand)AuthorAgeFilesLines
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-2/+3
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-3/+3
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-5/+3
* Started experiments with a new solver.Alan Mishchenko2011-11-261-0/+19
* Started experiments with a new solver.Alan Mishchenko2011-11-261-0/+2
* Improvement to the SAT solver (skipping binary clauses).Alan Mishchenko2011-11-251-0/+38
* Reduced default growth rate of vectors in the SAT solver.Alan Mishchenko2011-07-131-2/+4
* initial commit of public abcAlan Mishchenko2010-11-011-1/+10
* Version abc90215Alan Mishchenko2009-02-151-9/+7
* Version abc80130_2Alan Mishchenko2008-01-301-0/+83
* Version abc80130Alan Mishchenko2008-01-301-83/+0
* Version abc71001Alan Mishchenko2007-10-011-0/+83
* Version abc70930Alan Mishchenko2007-09-301-83/+0
* Version abc61007Alan Mishchenko2006-10-071-0/+83