Constant boolector_sys::BTOR_OPT_SIMP_NORMAMLIZE_ADDERS

source · 
pub const BTOR_OPT_SIMP_NORMAMLIZE_ADDERS: BtorOption = 88;