diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2014-05-12 15:20:17 -0700 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2014-05-12 15:20:17 -0700 |
| commit | 26c92f161a95ab3b30991174e79dd99f19b1c86f (patch) | |
| tree | bf93eab40203e1ecc9fa26bbe61a86d4738e1a60 /src/sat/bmc | |
| parent | b902b6843c5099f115fcf68f6567969c7233475e (diff) | |
| download | abc-26c92f161a95ab3b30991174e79dd99f19b1c86f.tar.gz abc-26c92f161a95ab3b30991174e79dd99f19b1c86f.tar.bz2 abc-26c92f161a95ab3b30991174e79dd99f19b1c86f.zip | |
add an option to write_cex to write the CEX in AIGER 1.9 format.
Diffstat (limited to 'src/sat/bmc')
0 files changed, 0 insertions, 0 deletions