dReal4
run.h
1 #pragma once
2 
3 #include <string>
4 
5 #include "dreal/solver/config.h"
6 
7 namespace dreal {
8 
9 void RunDr(const std::string& filename, const Config& config,
10  bool debug_scanning, bool debug_parsing);
11 
12 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9