Constant boolector_sys::BTOR_OPT_QUANT_SYNTH_ITE_COMPLETE

source · 
pub const BTOR_OPT_QUANT_SYNTH_ITE_COMPLETE: BtorOption = 90;