diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-05 19:37:46 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-05 19:37:46 -0800 |
commit | 66b6593513bee13732999d4b2216d7a411003ce0 (patch) | |
tree | 264e477a1c33ed89305f65c893c56bc59d4da47d /src/sat/bmc/bmcBmc3.c | |
parent | e3560904ec9a9bd225237b113f75f18d7182c2a2 (diff) | |
download | abc-66b6593513bee13732999d4b2216d7a411003ce0.tar.gz abc-66b6593513bee13732999d4b2216d7a411003ce0.tar.bz2 abc-66b6593513bee13732999d4b2216d7a411003ce0.zip |
Specialized inductive check.
Diffstat (limited to 'src/sat/bmc/bmcBmc3.c')
0 files changed, 0 insertions, 0 deletions