config.h File Reference

#include "strategies/SMTCOMP.h"

Include dependency graph for config.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	CMakeStrategySolver   smtrat::SMTCOMP

Macro Definition Documentation

CMakeStrategySolver

#define CMakeStrategySolver   smtrat::SMTCOMP

Definition at line 4 of file config.h.