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 /src/aig/saig/saigBmc2.c | |
| 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 'src/aig/saig/saigBmc2.c')
0 files changed, 0 insertions, 0 deletions