Constant boolector_sys::BTOR_OPT_QUANT_SYNTH

source · 
pub const BTOR_OPT_QUANT_SYNTH: BtorOption = 69;