util.sat.FormulaFileWriter
Writes the current solver state to a file using the dimacs format.
Writes the current solver state to a file using the dimacs format. Only safe to call when the solver does not contain cardinality constraints.
the name of the file