diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-19 12:22:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-19 12:22:48 -0800 |
| commit | c2b6e03c6100c351533a5e2b4bd0daab4e8a7b06 (patch) | |
| tree | ca829bb2d31ba2cdcf73698c946ca7a6ee010e0a /readme.md | |
| parent | 0ec5d2f7bcdf61c240e9664ad9b59e0aaed8db1e (diff) | |
| download | abc-c2b6e03c6100c351533a5e2b4bd0daab4e8a7b06.tar.gz abc-c2b6e03c6100c351533a5e2b4bd0daab4e8a7b06.tar.bz2 abc-c2b6e03c6100c351533a5e2b4bd0daab4e8a7b06.zip | |
Backing up node's truth-table to make sure it is not destroyed while deriving AIG.
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions