diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-09 15:28:31 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-09 15:28:31 -0700 |
commit | 56117d56e82f816eea5e261e47b0859372219972 (patch) | |
tree | 2196cb6c58b0e25ebe93576a4e42900992b80b69 /src/misc/hash | |
parent | 4333fd24d2a45a7ea6d5825306284beb8086e839 (diff) | |
download | abc-56117d56e82f816eea5e261e47b0859372219972.tar.gz abc-56117d56e82f816eea5e261e47b0859372219972.tar.bz2 abc-56117d56e82f816eea5e261e47b0859372219972.zip |
Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (for experiments).
Diffstat (limited to 'src/misc/hash')
0 files changed, 0 insertions, 0 deletions