Constant boolector_sys::BTOR_OPT_PROP_PROB_USE_INV_VALUE

source · 
pub const BTOR_OPT_PROP_PROB_USE_INV_VALUE: BtorOption = 56;