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