SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
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... | |