solver_api.c
17 KB
-
[Satoko] Correcting bug found when integrating with pdr. · 3df049f3The head of the propagation queue was not begin properly reset. Adding some debugging functions.
Bruno Schmitt committed
The head of the propagation queue was not begin properly reset. Adding some debugging functions.