util.sat.FormulaFileWriter
Writes the current solver state instance to a file using the OPB format.
the name of the file