dReal4
dreal.h
1 #pragma once
2 
3 // Consolidates all the exposed headers here.
4 
5 #include "dreal/api/api.h"
6 #include "dreal/smt2/logic.h"
7 #include "dreal/solver/config.h"
8 #include "dreal/solver/context.h"
9 #include "dreal/symbolic/symbolic.h"
10 #include "dreal/util/box.h"
symbolic.h
This is the header file that we consolidate Drake's symbolic classes and expose them inside of dreal ...