diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-08 15:35:39 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-08 15:35:39 -0700 |
commit | 234fb8c7e323679d5ce9daa161bb1a0bba07a96b (patch) | |
tree | 9687b9495ca6beefdb34e59c1cf9cda2ec459d8e /scripts/super_prove.sh | |
parent | a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e (diff) | |
download | abc-234fb8c7e323679d5ce9daa161bb1a0bba07a96b.tar.gz abc-234fb8c7e323679d5ce9daa161bb1a0bba07a96b.tar.bz2 abc-234fb8c7e323679d5ce9daa161bb1a0bba07a96b.zip |
Fixing a problem with costraint scorr for K > 1.
Diffstat (limited to 'scripts/super_prove.sh')
0 files changed, 0 insertions, 0 deletions