diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-08 11:09:12 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-08 11:09:12 -0800 |
| commit | 7977b2dd5ddc5483c8f3f94f6d721abbe78fd351 (patch) | |
| tree | b491e37b832d1dbb4de304d94ee640d61467e128 /src/aig/llb/llb1Reach.c | |
| parent | 53217cdc8b87d693fe187b788ca5aaa9daf0ab32 (diff) | |
| download | abc-7977b2dd5ddc5483c8f3f94f6d721abbe78fd351.tar.gz abc-7977b2dd5ddc5483c8f3f94f6d721abbe78fd351.tar.bz2 abc-7977b2dd5ddc5483c8f3f94f6d721abbe78fd351.zip | |
Modificationd to CUDD to enable runtime-limit in variable reordering.
Diffstat (limited to 'src/aig/llb/llb1Reach.c')
0 files changed, 0 insertions, 0 deletions