prob24 Implication contains non-relation expression

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool

Other

96 stars 20 forks source link

prob24 Implication contains non-relation expression #106

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 11 years ago

Originally reported by: Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh)

when using SR

ERROR: Implication contains non-relation expression:s_AsReln_RelationAsSet_ExplicitVarSize_tuple1[v__0] ERROR: Failed type checking after substituting in lettings.

Bitbucket: https://bitbucket.org/stacs_cp/conjure-old/issue/105

ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

see https://bitbucket.org/stacs_cp/savilerow/issue/6

ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

the outputs of prob024 are in the repo, are you using those?