krr / IDP / issues / #647 - Unnesting does not respect our semantics! — Bitbucket

Issue #647 new

Pieter Van Hertum created an issue 2014-01-23

Unnesting disregards negations sometimes, as the attached file "myissue.idp" illustrates.

This results in an issue in the lifted unit propagation. However, LUP is CORRECT, it fails because it uses unnesting, which is not correct...

Comments (2)

Bart Bogaerts
- changed title to Unnesting does not respect our semantics!
- edited description
- attached myissue.idp
- 2014-01-24T14:40:15+00:00
Broes De Cat
I think a bug for this has already been filed earlier.
- 2014-01-24T14:43:43+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 2

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