package de.uni_hildesheim.sse.trans.out;

/**
 * Supported output formats.
 * @author El-Sharkawy
 *
 */
public enum OutputType {
    
    /**
     * CNF format as DIMACS file.
     */
    DIMCAS,
    
    /**
     * IVML file format.
     */
    IVML;

}
