SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
execute.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 benchmax
 

Functions

int benchmax::call_program (const std::string &commandline, std::string &stdout, bool print_to_stdout=false)
 Runs an external program from some command line and records the output to stdout. More...