Constant boolector_sys::BTOR_BETA_REDUCE_NONE

source · 
pub const BTOR_BETA_REDUCE_NONE: BtorOptBetaReduceMode = 0;