Class Sat4jFormulaEncoder