![]() |
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... | |