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

double deterministic_time_limit = 30.0

Definition at line 56 of file sat_inprocessing.h.

bool extract_binary_clauses_in_probing = false

Definition at line 63 of file sat_inprocessing.h.

bool log_info = false

Definition at line 60 of file sat_inprocessing.h.

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: