diff options
author | Baruch Sterin <baruchs@gmail.com> | 2017-08-09 12:00:59 -0700 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2017-08-09 12:00:59 -0700 |
commit | 590ae696526823709bd6c38726c1c21695babe15 (patch) | |
tree | 37ab9d1911babcf4261894addbbd805c802a4216 /src/sat/bmc/bmc.h | |
parent | a1d1a7b8cd1e58473efb7fadfdb117b044f98197 (diff) | |
download | abc-590ae696526823709bd6c38726c1c21695babe15.tar.gz abc-590ae696526823709bd6c38726c1c21695babe15.tar.bz2 abc-590ae696526823709bd6c38726c1c21695babe15.zip |
add a new field to the ABC Frame. The new field is a callback that may be called by a BMC-like engine when a frame is done and a PO is either known to be SAT or UNSAT up to a specific frame
Diffstat (limited to 'src/sat/bmc/bmc.h')
0 files changed, 0 insertions, 0 deletions