summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satMem.h
Commit message (Expand)AuthorAgeFilesLines
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-0/+2
* Implemented rollback in the main SAT solver and updated PDR to use it (saves ...Alan Mishchenko2011-12-101-0/+1
* initial commit of public abcAlan Mishchenko2010-11-011-0/+8
* Version abc90215Alan Mishchenko2009-02-151-5/+0
* Version abc80717Alan Mishchenko2008-07-171-1/+0
* Version abc80130_2Alan Mishchenko2008-01-301-0/+80
* Version abc80130Alan Mishchenko2008-01-301-80/+0
* Version abc71001Alan Mishchenko2007-10-011-0/+80
* Version abc70930Alan Mishchenko2007-09-301-78/+0
* Version abc61007Alan Mishchenko2006-10-071-0/+78