Constant boolector_sys::BTOR_QUANT_SYNTH_ELMR

source · 
pub const BTOR_QUANT_SYNTH_ELMR: BtorOptQuantSynth = 4;