This class is used as a template to instanciate cardinality constraints.
Encoding strategy.
Adds a string conversion method to a java.io.ByteArrayOutputStream.
Relational operators supported in the constraints.
Parses the dimacs format generated by a sat4j DimacsOutputSolver.