diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 16:21:58 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 16:21:58 -0700 |
commit | 58e1041ad85add626a48e98f2ed49f7b0c7cf0ad (patch) | |
tree | 125f18a741ef7345fe4d32124d380192e1647a16 /src/proof/cec | |
parent | a33821ab38129116fd9ac94b7df83db2b18c66be (diff) | |
download | abc-58e1041ad85add626a48e98f2ed49f7b0c7cf0ad.tar.gz abc-58e1041ad85add626a48e98f2ed49f7b0c7cf0ad.tar.bz2 abc-58e1041ad85add626a48e98f2ed49f7b0c7cf0ad.zip |
Modified command 'eliminate' to perform traditional 'eliminate -1'.
Diffstat (limited to 'src/proof/cec')
0 files changed, 0 insertions, 0 deletions