Constant boolector_sys::BTOR_BETA_REDUCE_FUN

source · 
pub const BTOR_BETA_REDUCE_FUN: BtorOptBetaReduceMode = 1;