Open pwn1 opened 1 year ago
Hi Oz, do you think this would be an easy fix or lots of work? @ozgurakgun
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.
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.
Maybe I can avoid making Valid and just check the prefix condition some other way.
Hi Oz,
Here's a tiny part of a model that constructs a set Valid (intended to be all prefixes of sequences in Subs).
Is the issue that you might have int(0..-1) for the length-0 prefixes?
And this is what happens if you put it into Conjure: