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/bmcBmcS.c | |
| 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/bmcBmcS.c')
0 files changed, 0 insertions, 0 deletions