Open StephanGocht opened 4 years ago
Maybe we want a best practice section including, e.g., p - j - d sequence to avoid writing down lots of literals during weakening and removing the unweakened constraint that is potentially hard to propagate.
Maybe we want a best practice section including, e.g., p - j - d sequence to avoid writing down lots of literals during weakening and removing the unweakened constraint that is potentially hard to propagate.