diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-19 16:53:11 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-19 16:53:11 -0800 |
commit | ab75993d28e766062dbcfe5c8009e80d74d74121 (patch) | |
tree | 4ec88d14270877fca642bd50ad1da308a5e7d78c /src/aig/gia | |
parent | e3f88c81c62cb771faba13cbe58a7488af0087bd (diff) | |
download | abc-ab75993d28e766062dbcfe5c8009e80d74d74121.tar.gz abc-ab75993d28e766062dbcfe5c8009e80d74d74121.tar.bz2 abc-ab75993d28e766062dbcfe5c8009e80d74d74121.zip |
Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFrame.c.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions