diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 00:31:03 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 00:31:03 +0700 |
| commit | 6c6c0b06868110f1d635bb4da40647494fbe6905 (patch) | |
| tree | 608d6f170b9e52409a54f05c36c7bced83ab18b6 /src/aig/saig/saig.h | |
| parent | 4e9f972489604b13ba076b1f0297d4ccc9a06b1d (diff) | |
| download | abc-6c6c0b06868110f1d635bb4da40647494fbe6905.tar.gz abc-6c6c0b06868110f1d635bb4da40647494fbe6905.tar.bz2 abc-6c6c0b06868110f1d635bb4da40647494fbe6905.zip | |
Enabled saving vector of counter-examples in the ABC framework.
Diffstat (limited to 'src/aig/saig/saig.h')
0 files changed, 0 insertions, 0 deletions