smtrat-common.h File Reference

#include "config.h"
#include "types.h"
#include "logging.h"
#include "settings/Settings.h"
#include "validation/Validation.h"
#include "checkpoints/Checkpoints.h"

Include dependency graph for smtrat-common.h:

Go to the source code of this file.

Namespaces
	carl