Constant boolector_sys::BTOR_OPT_QUANT_FIXSYNTH

source · 
pub const BTOR_OPT_QUANT_FIXSYNTH: BtorOption = 91;