scippp::params::PRESOLVING::IMPLICS Namespace Reference

Parameters with prefix presolving/implics. More...

Variables
constexpr Param< int >	MAXROUNDS { "presolving/implics/maxrounds" }
	maximal number of presolving rounds the presolver participates in (-1: no limit)
constexpr Param< int >	PRIORITY { "presolving/implics/priority" }
	priority of presolver <implics>
constexpr Param< int >	TIMING { "presolving/implics/timing" }
	timing mask of presolver <implics> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Detailed Description

Parameters with prefix presolving/implics.

Variable Documentation

MAXROUNDS

constexpr Param<int> scippp::params::PRESOLVING::IMPLICS::MAXROUNDS { "presolving/implics/maxrounds" }

constexpr

maximal number of presolving rounds the presolver participates in (-1: no limit)

Definition at line 4867 of file parameters.hpp.

PRIORITY

constexpr Param<int> scippp::params::PRESOLVING::IMPLICS::PRIORITY { "presolving/implics/priority" }

constexpr

priority of presolver <implics>

Definition at line 4865 of file parameters.hpp.

TIMING

constexpr Param<int> scippp::params::PRESOLVING::IMPLICS::TIMING { "presolving/implics/timing" }

constexpr

timing mask of presolver <implics> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Definition at line 4869 of file parameters.hpp.