Package

at.logic.gapt.formats

dimacs

Permalink

package dimacs

Visibility
  1. Public
  2. All

Type Members

  1. class DIMACSHelper extends AnyRef

    Permalink

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

Value Members

  1. object readDIMACS

    Permalink
  2. object writeDIMACS

    Permalink

Ungrouped