conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 24 forks source link

msetEq.essence #18

Closed ozgurakgun closed 8 years ago

ozgurakgun commented 12 years ago

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


Using 0001.eprime of msetEq.essence in savilerow causes:

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

ozgurakgun commented 11 years ago

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


Removing component: SavileRow (automated comment)

ozgurakgun commented 12 years ago

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


Same bug as #16.