Bool vars are unsigned ints where 0 means true anything else is false.
The violation variables of all constraints should be bool vars.
We need to decide how we deal with VarIds here. I think bool vars should "share" domain with IntVars.
Otherwise, Topology becomes a bit weird.
However, I guess things will become a bit shady in terms of type checking when it comes to passing around IDs.
Bool vars are unsigned ints where 0 means true anything else is false.
The violation variables of all constraints should be bool vars.
We need to decide how we deal with VarIds here. I think bool vars should "share" domain with IntVars. Otherwise, Topology becomes a bit weird.
However, I guess things will become a bit shady in terms of type checking when it comes to passing around IDs.