ZERO = (BoolVar) VF.fixed(0, this);
ONE = (BoolVar) VF.fixed(1, this);
ZERO._setNot(ONE);
ONE._setNot(ZERO);
TRUE = new Constraint("TRUE cstr", new PropTrue(ONE));
FALSE = new Constraint("FALSE cstr", new PropFalse(ZERO));
solutionRecorder = new LastSolutionRecorder(new Solution(), false, this);
set(ObjectiveManager.SAT());
}