Closed maartenflippo closed 2 weeks ago
The DRCP format is extended to support nogoods that are lazily blocked by propagators. When there is a propagation R -> false, then it suffices to log R. The README describes how this affects the textual format.
R -> false
R
The DRCP format is extended to support nogoods that are lazily blocked by propagators. When there is a propagation
R -> false, then it suffices to logR. The README describes how this affects the textual format.