util.sat.FormulaFileWriter
File printing methods for opb models.
Writes the current solver state instance to a file using the OPB format.
the name of the file
File printing methods for opb models.