Crash constructing prefixes of sequences. about conjure HOT 4 OPEN

Hi Oz, do you think this would be an easy fix or lots of work? @ozgurakgun

from conjure.

Hi Pete. Hard to know. As far as I can see for the toSet at the top level Conjure tries to create a top level decision variable which is unlikely to be what you want. How do you plan to use Valid in the rest of the model? If you send me a fuller model I can take another look.

from conjure.

Thanks Oz

The constraint that uses Valid just says something like "s in Valid -> ...." where s is a sequence decision variable. imagine s is the sequence of digits that someone dialled so far, and if that sequence is not in Valid then they are not going to be able to complete dialling a valid number.

from conjure.

Maybe I can avoid making Valid and just check the prefix condition some other way.

from conjure.