diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-28 17:46:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-28 17:46:06 -0700 |
| commit | 75ed8581dd9b22312c9ed0fd2d24d963ab4ff4ed (patch) | |
| tree | 7a9a54415d7b55955b73e5ab6c1f301b05fc5d82 /src/bdd/cudd/cuddCheck.c | |
| parent | 3e33c91c3dc5d95c4152ffa7d280607e974d2fdc (diff) | |
| download | abc-75ed8581dd9b22312c9ed0fd2d24d963ab4ff4ed.tar.gz abc-75ed8581dd9b22312c9ed0fd2d24d963ab4ff4ed.tar.bz2 abc-75ed8581dd9b22312c9ed0fd2d24d963ab4ff4ed.zip | |
Adding switch to 'write_pla' to write random onset minterms of the first PO function.
Diffstat (limited to 'src/bdd/cudd/cuddCheck.c')
0 files changed, 0 insertions, 0 deletions