util.sat
A object for printing FormulaLike objects to dimacs, OPB, circuit and graphviz files.
File printing methods for opb models.
A object for printing FormulaLike objects to dimacs, OPB, circuit and graphviz files.