util.sat
Encodes switches definitions in the dual rail formula to enforce proper ternary valued models.
Encodes switches definitions in the dual rail formula to enforce proper ternary valued models.