1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Unnesting not smart enough

Issue #386 invalid
Bart Bogaerts created an issue

See https://bitbucket.org/krr/asp-competition-2013/commits/619e763a2e331fd479c577f5fc8a603a6f3130d5

In this file unnesting (cpsupport) is not smart enough to find out that CostOf(...) should be a CP-variable

Comments (3)

  3. Bart Bogaerts reporter

    Wordt wel degelijk met CP behandeld. Unnesting is omdat de sovler nog geen f(C) = 3 kent geloof ik. Enkel P(C)

  4. Log in to comment
Assignee
Type
bug
Priority
major
Status
invalid
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!