krr / IDP / issues / #399 - Lazy grounding and bounds — Bitbucket

Issue #399 resolved

Bart Bogaerts created an issue 2013-03-22

lazy grounding disables the "apply propagation to structure".

But this is not done very well, it should at least be applied for atoms that are used in the grounding.

Attached file works when groundwithbounds is disabled...

gwblgbug

Comments (2)

Broes De Cat
Looks more like a bug in liftedunitpropagation with LG.
- 2013-03-22T12:57:26+00:00
Broes De Cat
- changed status to resolved
- 2013-08-17T15:48:20+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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