krr / IDP / issues / #202 - Bug in "Liftedunitpropagation" — Bitbucket

Issue #202 resolved

Bart Bogaerts created an issue 2012-07-11

See attached files. If liftedunitpropagate is on, no solutions otherwise there are solutions...

Comments (2)

Bart Bogaerts reporter
- changed status to resolved
fixes ~~#202~~

→ b7851fa47136
- 2012-07-20T10:23:56+00:00
Broes De Cat
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:55+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!