Constant boolector_sys::BTOR_OPT_BETA_REDUCE

source · 
pub const BTOR_OPT_BETA_REDUCE: BtorOption = 17;