Added SAT support for $div and $mod cells
authorClifford Wolf <clifford@clifford.at>
Sun, 11 Aug 2013 14:27:15 +0000 (16:27 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 11 Aug 2013 14:27:15 +0000 (16:27 +0200)
commitccf36cb7d81a9513db15b8a36c240d2c7ec9f5b5
treea81d36a260ad19154cb160da0aba95aa0d3444d1
parenta5836af172a154bc0b8f9fdea34e140a5662bc99
Added SAT support for $div and $mod cells
kernel/satgen.h
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h