summaryrefslogtreecommitdiffstats
path: root/src/sat/pdr
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-12-23 10:23:45 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2011-12-23 10:23:45 -0800
commit7facbc3cc932bf72581d164a0d2d5ea60ab9aa2d (patch)
tree05366f3357f42c1c8604d2e700466c3348eabc37 /src/sat/pdr
parent94174d0f041819a273208c5b5bbe3aee7a16e698 (diff)
downloadabc-7facbc3cc932bf72581d164a0d2d5ea60ab9aa2d.tar.gz
abc-7facbc3cc932bf72581d164a0d2d5ea60ab9aa2d.tar.bz2
abc-7facbc3cc932bf72581d164a0d2d5ea60ab9aa2d.zip
Transforming the solver to use different clause representation.
Diffstat (limited to 'src/sat/pdr')
0 files changed, 0 insertions, 0 deletions