diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-16 14:41:36 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-16 14:41:36 +0700 |
| commit | c5131ca85fed7d75f84bd95c252e01751ce1351a (patch) | |
| tree | 94579b69141ea470dd6ae23a41d49d01dceb4b2d /src/sat/bmc/bmcClp.c | |
| parent | 23d36a8d5665d7a586777c9723c4aa803b253fc1 (diff) | |
| download | abc-c5131ca85fed7d75f84bd95c252e01751ce1351a.tar.gz abc-c5131ca85fed7d75f84bd95c252e01751ce1351a.tar.bz2 abc-c5131ca85fed7d75f84bd95c252e01751ce1351a.zip | |
Changing enconding of the SAT solver return value in &bmcs.
Diffstat (limited to 'src/sat/bmc/bmcClp.c')
0 files changed, 0 insertions, 0 deletions