CP vs function constraints
Issue #900
resolved
There should be no model: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=8c3977c4367bd300a14c
Comments (4)
-
-
-
-
- changed status to resolved
Merged in cp-xsb (pull request #376)
Added missing function check in calculatedefinitions - Fixes
#900→ <<cset d2046fe2c983>>
- Log in to comment
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)).