Go to the documentation of this file. 18 #ifndef __CVC4__CVC4_H 19 #define __CVC4__CVC4_H 21 #include <cvc4/smt/smt_engine.h> 23 #include <cvc4/expr/expr_manager.h> 24 #include <cvc4/expr/expr.h> 25 #include <cvc4/expr/command.h> 27 #include <cvc4/util/datatype.h> 28 #include <cvc4/util/integer.h> 29 #include <cvc4/util/rational.h> 30 #include <cvc4/util/exception.h> 31 #include <cvc4/options/options.h> 32 #include <cvc4/util/configuration.h> 34 #include <cvc4/parser/parser.h> 35 #include <cvc4/parser/parser_builder.h>