[Flatzinc] undo all the sat encodings