diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-04 17:32:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-04 17:32:16 -0700 |
| commit | 63e165bc5fc750d5c6000a9c1b64ea333d3bf160 (patch) | |
| tree | 4b98545c3c475ffb1f1cbf9c6333f6e0b667027f /i10.aig | |
| parent | f591f1cd9a1ea84eea6e6495d9d3e84255858715 (diff) | |
| download | abc-63e165bc5fc750d5c6000a9c1b64ea333d3bf160.tar.gz abc-63e165bc5fc750d5c6000a9c1b64ea333d3bf160.tar.bz2 abc-63e165bc5fc750d5c6000a9c1b64ea333d3bf160.zip | |
Added Python API status_get_vector() similar to cex_get_vector().
Diffstat (limited to 'i10.aig')
0 files changed, 0 insertions, 0 deletions