diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-27 10:31:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-27 10:31:44 -0700 |
| commit | 72f01030c4449a9292a6776ae528aaa3ab83952d (patch) | |
| tree | 7e61b366ff5d432d449e84c47d9471ebe64e066f /src/sat/bmc/bmcMulti.c | |
| parent | 3b30fb2a1189e7347c0cef2d0582a27bda4c125f (diff) | |
| download | abc-72f01030c4449a9292a6776ae528aaa3ab83952d.tar.gz abc-72f01030c4449a9292a6776ae528aaa3ab83952d.tar.bz2 abc-72f01030c4449a9292a6776ae528aaa3ab83952d.zip | |
Getting rid of a recursive procedure during CNF construction in bmc3.
Diffstat (limited to 'src/sat/bmc/bmcMulti.c')
0 files changed, 0 insertions, 0 deletions