Constant boolector_sys::BTOR_QUANT_SYNTH_EL_ELMC

source · 
pub const BTOR_QUANT_SYNTH_EL_ELMC: BtorOptQuantSynth = 3;