DIMACSExporter.h File Reference

#include <carl-logging/carl-logging.h>
#include <carl-formula/formula/Formula.h>
#include <carl-formula/formula/functions/CNF.h>
#include <iostream>
#include <map>
#include <vector>

Include dependency graph for DIMACSExporter.h:

Go to the source code of this file.

Data Structures
class	carl::io::DIMACSExporter< Pol >
	Write formulas to the DIMAS format. More...

Namespaces
	carl
	carl is the main namespace for the library.
	carl::io