DIMACS Writer

This transformation serializes a PySAT model representation into a DIMACS file, which can be used as input for various SAT solvers.

---

Code Examples

from flamapy.metamodels.pysat_metamodel.transformations.dimacs_writer import DIMACSWriter

# Save the PySAT model to a DIMACS file
DIMACSWriter(path='path/to/save/model.dimacs', source_model=pysat_model).transform()