krr / IDP / issues / #900 - CP vs function constraints — Bitbucket

Issue #900 resolved

Ingmar Dasseville created an issue 2015-08-07

There should be no model: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=8c3977c4367bd300a14c

Comments (4)

Bart Bogaerts
Mogeijke issue: bij cp support worden functieconstraints afgedwongen in de solver. Maar... om een of andere reden komt f(2) nooit in de solver terecht (ook al definieert de definitie f(2)).
- 2015-08-08T08:31:20+00:00
Bart Bogaerts
Added missing function check in calculatedefinitions

See ~~#900~~

→ <<cset 3e5af49822bc>>
- 2015-08-10T10:21:10+00:00
JoD
Added missing function check in calculatedefinitions

See ~~#900~~

→ <<cset 3e5af49822bc>>
- 2015-09-15T13:51:08+00:00
JoD
- changed status to resolved
Merged in cp-xsb (pull request #376)

Added missing function check in calculatedefinitions - Fixes ~~#900~~

→ <<cset d2046fe2c983>>
- 2015-09-15T13:51:08+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 3

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