DIMACSImporter.h File Reference

#include <fstream>
#include <iostream>
#include <regex>
#include <sstream>
#include <string>
#include <carl-formula/formula/Formula.h>
#include <carl-logging/carl-logging.h>

Include dependency graph for DIMACSImporter.h:

Go to the source code of this file.

Data Structures
class	carl::io::DIMACSImporter< Pol >
	Parser for the DIMACS format. More...

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