Constant boolector_sys::BTOR_OPT_QUANT_DER

source · 
pub const BTOR_OPT_QUANT_DER: BtorOption = 73;