Empty domains for CP variables
Issue #204
resolved
Domains for CP variables might be empty!
Who should have the responsibility to report UNSAT?
Solver fails on assertion because it doesn't want to add intvars with empty domains.
See test/mx/simplemx/emptydomainforagg.idp
Comments (4)
-
reporter -
-
assigned issue to
Solver should take responsability for this.
-
assigned issue to
-
- changed status to resolved
-
- removed milestone
Removing milestone: Second Release (automated comment)
- Log in to comment
Moved assertion on domains of cp variables.
Domains for cp variables might be empty! See issue
#204→ f26c8a24d31c