Constant boolector_sys::BTOR_OPT_NORMALIZE_ADD

source · 
pub const BTOR_OPT_NORMALIZE_ADD: BtorOption = 24;