Model invalidation CP bug

This file fails with CP on, with outputvoc. Bug in model invalidation? In passing the outputvocabulary?

I guess the latter, because in the output you can see

Atoms should be two-valued in any model.

But never that atoms related to the integer variable should be two-valud in any model. When making the outputvocabulary bigger, we get more of this kind of statments.

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=105cec58764df6444d87944fc3e1522c

Comments (1)