cmd_line_args.h File Reference

Detailed Description

PolySCIP command line arguments.

Author

Sebastian Schenker

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