cmd_line_args.h File Reference
Detailed Description
PolySCIP command line arguments.
Definition in file cmd_line_args.h.
#include <string>
#include <limits>
Go to the source code of this file.
Data Structures | |
class | polyscip::CmdLineArgs |
Command line arguments for PolySCIP. More... | |
Namespaces | |
polyscip | |