OR-Tools  8.2
SatPresolveOptions

Detailed Description

Definition at line 54 of file sat_inprocessing.h.

Public Attributes

double deterministic_time_limit = 30.0
 
bool log_info = false
 
bool extract_binary_clauses_in_probing = false
 
bool use_transitive_reduction = false
 

Member Data Documentation

◆ deterministic_time_limit

double deterministic_time_limit = 30.0

Definition at line 56 of file sat_inprocessing.h.

◆ extract_binary_clauses_in_probing

bool extract_binary_clauses_in_probing = false

Definition at line 63 of file sat_inprocessing.h.

◆ log_info

bool log_info = false

Definition at line 60 of file sat_inprocessing.h.

◆ use_transitive_reduction

bool use_transitive_reduction = false

Definition at line 71 of file sat_inprocessing.h.


The documentation for this struct was generated from the following file: