diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-16 13:33:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-16 13:33:51 -0700 |
| commit | 4ab7905b72f8191c0959b129c4b29b38c2a1956c (patch) | |
| tree | a887e74f4669b8e66010a557261f166e412f4eac /src/aig | |
| parent | f9900a4c3b69ecae26306f567cd85c9cefebf244 (diff) | |
| download | abc-4ab7905b72f8191c0959b129c4b29b38c2a1956c.tar.gz abc-4ab7905b72f8191c0959b129c4b29b38c2a1956c.tar.bz2 abc-4ab7905b72f8191c0959b129c4b29b38c2a1956c.zip | |
Fix for writing choices into a BLIF file.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions