summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satTruth.c
Commit message (Expand)AuthorAgeFilesLines
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-1/+1
* Switching to a variable-page-size memory manager for clauses and proofs.Alan Mishchenko2012-03-211-1/+1
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-25/+9
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-0/+315