conjure-cp / conjure

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

prob034-Warehouse ERROR: Item 0 is not contained in domain of constant matrix opencost_Function1D #243

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 10 years ago

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


on prob034-Warehouse, using the refined eprimes with the attached params and running

conjure --mode refineParam --in-eprime ../prob034-Warehouse-df-no-channelling-better/0002.eprime --in-essence-param ../params/easy.param --in-essence ../prob034-Warehouse.essence --out-eprime-param 0002-easy.eprime-param

savilerow -in-eprime ../prob034-Warehouse-df-no-channelling-better/0002.eprime -in-param 0002-easy.eprime-param -run-minion minion -out-minion 0002-easy.minion -out-solution 0002-easy.eprime-solution

produces the error for most the eprimes i.e 0001-0065. Some of the eprimes such 0128 do work.

easy 0002   ERROR: Item 0 is not contained in domain of constant matrix opencost_Function1D.
easy 0002   ERROR: Failed type checking after substituting in lettings.

the eprimes that error use Function1D, while the ones that produce a minion file do not.


ozgurakgun commented 10 years ago

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


Please test and reopen if there is still a problem.

ozgurakgun commented 10 years ago

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


works in my local machine, it probably was the parameter file:

https://bitbucket.org/stacs_cp/essencecatalog/commits/fdbf175641de6eca8db9c0f8514600ddb4329c91?at=default