DIMACS Reader

This transformation reads a DIMACS file, a standard format for SAT solver input, and converts it into a PySAT model representation.

---

Code Examples

from flamapy.metamodels.pysat_metamodel.transformations.dimacs_reader import DIMACSReader

# Load the DIMACS file and convert it into a PySAT model
pysat_model = DIMACSReader('path/to/model.dimacs').transform()

print(pysat_model)