diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-31 20:22:57 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-31 20:22:57 +0700 |
| commit | 0d65c49048eea6940e3f5fa9bbf28ee5c6b97102 (patch) | |
| tree | 993f3276ed0eedace7c00b886a9a3519d87baa5a /src/python/getch.py | |
| parent | d5955db9604a2eb9224941b5200648120b22fc82 (diff) | |
| download | abc-0d65c49048eea6940e3f5fa9bbf28ee5c6b97102.tar.gz abc-0d65c49048eea6940e3f5fa9bbf28ee5c6b97102.tar.bz2 abc-0d65c49048eea6940e3f5fa9bbf28ee5c6b97102.zip | |
Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^nRegs frames are completed).
Diffstat (limited to 'src/python/getch.py')
0 files changed, 0 insertions, 0 deletions