diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-10 14:51:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-10 14:51:47 -0700 |
| commit | 8430b6dad42b40e76354a810a4a08a51ccf6c4cf (patch) | |
| tree | 0ee63668c5feb199f54dbdbee1d2ac8402ce6010 /src/sat/bmc/bmcBmcAnd.c | |
| parent | 9d01c98e62e2cfd413ca44cdd3e2c53ab281046c (diff) | |
| download | abc-8430b6dad42b40e76354a810a4a08a51ccf6c4cf.tar.gz abc-8430b6dad42b40e76354a810a4a08a51ccf6c4cf.tar.bz2 abc-8430b6dad42b40e76354a810a4a08a51ccf6c4cf.zip | |
New API to return the set of all reachable states as an AIG.
Diffstat (limited to 'src/sat/bmc/bmcBmcAnd.c')
0 files changed, 0 insertions, 0 deletions