search

conjure-cp / conjure

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

partition of set ERROR: 'And' contains something other than a relation:v__0[v__4] #113

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 11 years ago

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

Running this

language Essence 1.3

find p : partition (size 3) from set of int(1..9)

such that
    forAll i in parts(p) . |i| < 5

produces a large eprime which cause this ERROR in SR

ERROR: 'And' contains something other than a relation:v__0[v__4]
ERROR: Failed type checking after substituting in lettings.
ozgurakgun commented 11 years ago

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

this have been fixed for a while now, except translate-solution is failing now. to reproduce, run test_single.sh df in test/solving/issue_112_partition_set. Lmk if you need any more instructions.

ozgurakgun commented 11 years ago

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

trying to improve this test case to a more reasonable one (ref #112)