Class Sat4jFormula.Builder