scippp::params::READING::CNFREADER Namespace Reference

Parameters with prefix reading/cnfreader. More...

Variables
constexpr Param< bool >	USEOBJ { "reading/cnfreader/useobj" }
	should an artificial objective, depending on the number of clauses a variable appears in, be used?

Detailed Description

Parameters with prefix reading/cnfreader.

Variable Documentation

USEOBJ

constexpr Param<bool> scippp::params::READING::CNFREADER::USEOBJ { "reading/cnfreader/useobj" }

constexpr

should an artificial objective, depending on the number of clauses a variable appears in, be used?

Definition at line 5406 of file parameters.hpp.