wrong model?
Hi, I am using the GateTransalator to input a problem and I do something like that:
assuming gate is the GateTranslator used, I set gate.gateTrue(...) for:
(and (or v1 v2 v3) (atmost 1 v1 v2 v3) (or v4))
Then I do gate.gateTrue for:
(atleast 1 v4 v5)
Then I run the solver and collect all models. The issue is I get solutions containing v5 = true, (e.g. v1=true, v5=true) which I think it's wrong if both of the above are true. Am I misinterpreting something? (The problem looks like that because is generated in a rather complex way from a business interface)
Thanks a lot Mihai