at.logic.gapt.formats.dimacs
A helper class that provides core functionality for both DIMACSExporter (SAT) as well as WDIMACSExporter (MaxSAT).
A helper class that provides core functionality for both DIMACSExporter (SAT) as well as WDIMACSExporter (MaxSAT).