krr / IDP / issues / #204 - Empty domains for CP variables — Bitbucket

Issue #204 resolved

Stef De Pooter created an issue 2012-07-20

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)

Stef De Pooter reporter
Moved assertion on domains of cp variables.

Domains for cp variables might be empty! See issue ~~#204~~

→ f26c8a24d31c
- 2012-07-20T14:14:22+00:00
Broes De Cat
- assigned issue to
  
  Broes De Cat
Solver should take responsability for this.
- 2012-07-23T10:03:15+00:00
Broes De Cat
- changed status to resolved
- 2012-07-26T14:01:47+00:00
Broes De Cat
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:55+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

Jira: the preferred issue tracker for Bitbucket. Join the team!