diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2017-08-28 10:59:30 +0200 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-08-28 10:59:30 +0200 |
| commit | 3df049f37df1f02feaf7585a04f2e07e5fd33fbc (patch) | |
| tree | 401151006fcb899e65f507d49a41c27b96a0d598 /src/sat/satoko/clause.h | |
| parent | d80bbe74007e972e3b7a7667eaccf1599288c702 (diff) | |
| download | abc-3df049f37df1f02feaf7585a04f2e07e5fd33fbc.tar.gz abc-3df049f37df1f02feaf7585a04f2e07e5fd33fbc.tar.bz2 abc-3df049f37df1f02feaf7585a04f2e07e5fd33fbc.zip | |
[Satoko] Correcting bug found when integrating with pdr.
The head of the propagation queue was not begin properly reset.
Adding some debugging functions.
Diffstat (limited to 'src/sat/satoko/clause.h')
0 files changed, 0 insertions, 0 deletions