Constant boolector_sys::BTOR_OPT_NUM_OPTS

source · 
pub const BTOR_OPT_NUM_OPTS: BtorOption = 94;