src/sat/satoko/solver.h · d0f81fcf2952b8a46548c0dd74f95fa1cd0a504f · lvzhengyang / abc · GitLab

Blame History Permalink

[Satoko] Correcting bug found when integrating with pdr. · 3df049f3
```
The head of the propagation queue was not begin properly reset.

Adding some debugging functions.
```
Bruno Schmitt committed Aug 28, 2017
3df049f3

solver.h 8.83 KB