Constant boolector_sys::BTOR_QUANT_SYNTH_EL

source · 
pub const BTOR_QUANT_SYNTH_EL: BtorOptQuantSynth = 1;