Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SatPresolveOptions Struct Reference

Detailed Description

Definition at line 76 of file sat_inprocessing.h.

#include <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
bool use_equivalence_sat_sweeping = false

Member Data Documentation

◆ deterministic_time_limit

double operations_research::sat::SatPresolveOptions::deterministic_time_limit = 30.0

Definition at line 78 of file sat_inprocessing.h.

◆ extract_binary_clauses_in_probing

bool operations_research::sat::SatPresolveOptions::extract_binary_clauses_in_probing = false

Definition at line 85 of file sat_inprocessing.h.

◆ log_info

bool operations_research::sat::SatPresolveOptions::log_info = false

Definition at line 82 of file sat_inprocessing.h.

◆ use_equivalence_sat_sweeping

bool operations_research::sat::SatPresolveOptions::use_equivalence_sat_sweeping = false

Definition at line 95 of file sat_inprocessing.h.

◆ use_transitive_reduction

bool operations_research::sat::SatPresolveOptions::use_transitive_reduction = false

Definition at line 93 of file sat_inprocessing.h.

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