Allow creation of soft constraints in a specific GateTranslator
Sat4j provides a utility class GateTranslator to translate logical gate to CNF.
Some people would like to be able to use a similar class to produce weighted CNF, to be solved with a MAXSAT solver.
It should not be difficult to create a subclass of GateTranslator to provide that functionality in the maxsat package.