krr / IDP / issues / #447 - bug in cp grounding — Bitbucket

Issue #447 resolved

Bart Bogaerts created an issue 2013-06-17

Zie bijgevoegde files:

1 van de twee is de opgave
De andere bevat inconsistente stukken grounding.

De bug is eigenlijk dat het domein van één van de integervariabelen verkeerd is.

Comments (3)

Broes De Cat
- changed status to resolved
Fixes ~~#447~~: Tabling bug in termgrounders. Also solved duplication in termgrounders, moving var * const handling to the folding where it belongs.

→ <<cset 668ac8dd987d>>
- 2013-06-17T16:42:23+00:00
Broes De Cat
Fixes ~~#447~~: Tabling bug in termgrounders. Also solved duplication in termgrounders, moving var * const handling to the folding where it belongs.

→ <<cset d546ef14b2d6>>
- 2013-06-27T12:05:23+00:00
Broes De Cat
Fixes ~~#447~~: Tabling bug in termgrounders. Also solved duplication in termgrounders, moving var * const handling to the folding where it belongs.

→ <<cset b250ee3cb611>>
- 2013-07-23T14:44:24+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: resolved

Component: cp-support

Version: –

Votes: 0

Watchers: 1

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