Constant boolector_sys::BTOR_OPT_CHK_MODEL

source · 
pub const BTOR_OPT_CHK_MODEL: BtorOption = 82;