diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:33:27 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:33:27 -0800 |
commit | d8e04032967a524f4891927d73b1f61e60d8953b (patch) | |
tree | dc09b9ff312d5811c18151a712a7e49a6311e7a7 /src/aig/gia/gia.h | |
parent | ddab80aea4cea4bbdcd4aa17dd1be893e50961b1 (diff) | |
download | abc-d8e04032967a524f4891927d73b1f61e60d8953b.tar.gz abc-d8e04032967a524f4891927d73b1f61e60d8953b.tar.bz2 abc-d8e04032967a524f4891927d73b1f61e60d8953b.zip |
Added command 'cexsave' and 'cexload'.
Diffstat (limited to 'src/aig/gia/gia.h')
0 files changed, 0 insertions, 0 deletions