krr / IDP / issues / #101 - Empty sets are handled incorrectly — Bitbucket

Issue #101 resolved

Broes De Cat created an issue 2012-02-01

When a set is grounded to an empty set (but the grounder cannot find this out in advance), the solver throws an error (as it does not accept empty sets). The solver should allow them probably.

Comments (3)

Broes De Cat reporter
- changed component to MinisatID
- 2012-02-17T13:33:37+00:00
Bart Bogaerts
- changed status to resolved
- 2012-03-13T12:25:07+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:52+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: MinisatID

Version: –

Votes: 0

Watchers: 0

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