search

conjure-cp / conjure

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

bacp, param refinement #325

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 8 years ago

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

param refinement for some models seem to generated invalid eprime-params. The spec was refined with -ax --channelling=no --representation-levels=no.

The example is missing prereq_RelationAsSet_Explicit_1 but has prereq_RelationAsSet_Explicit

WARNING: interval 1..0 is out of order. Rewriting to empty interval.
ERROR: Too many or zero lettings of parameter variable prereq_RelationAsSet_Explicit_1 in parameter file.

The cause of the problem may be that prereq in the param is the empty relation.

cmd

conjure -qf ./prob030-BACP/prob030-BACP.essence --smart-filenames -o ./prob030-BACP/prob030-BACP_no-chan-every -ax --channelling=no --representation-levels=no
ozgurakgun commented 8 years ago

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

special-case for empty matrix literals in refine-param -- fixes #54