Gecode/MPG

MPG section 42.2.2 page 517

Closed this issue · 1 comments

Pierre-Flener commented

I think the two occurrences of "is still correct and complete" at MPG page 517 should be "is still correct and checking", no? Otherwise, the specific flavour of "complete" (as defined on pages 324–325) should be specified here.

zayenz commented

You are correct in that it was wrong and how to fix it. Will be fixed soon.

Thanks for reporting.