krr / IDP / issues / #716 - Incorrect models during aggregate optimization — Bitbucket

Issue #716 resolved

Broes De Cat created an issue 2014-03-25

The aggregate condition seems to get lost during grounding.

negoptim.idp

Comments (3)

Broes De Cat reporter
- changed status to resolved
Fixes ~~#716~~: Folding copied wrong set condition.

→ <<cset 48c07fa46c74>>
- 2014-03-25T09:06:32+00:00
Broes De Cat reporter
Fixes ~~#716~~: Folding copied wrong set condition.

→ <<cset d7007e3363c2>>
- 2014-03-25T09:10:34+00:00
Broes De Cat reporter
Merged in folding_regression (pull request #229)

Fixes ~~#716~~: Folding copied wrong set condition.

→ <<cset c4bc4635121b>>
- 2014-03-25T12:44:32+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

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