diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-07 14:20:25 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-07 14:20:25 -0700 |
commit | 22ada3b2b7667c376404b4c870307dd9717563b2 (patch) | |
tree | 3d543b0a8ed0376bd313596aa80725a77e1f415b /abclib.dsp | |
parent | 7753e097f991b321e6e912b7db1f5f1e0f64ba9d (diff) | |
download | abc-22ada3b2b7667c376404b4c870307dd9717563b2.tar.gz abc-22ada3b2b7667c376404b4c870307dd9717563b2.tar.bz2 abc-22ada3b2b7667c376404b4c870307dd9717563b2.zip |
Adding command to dump UNSAT core of BMC instance.
Diffstat (limited to 'abclib.dsp')
0 files changed, 0 insertions, 0 deletions