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