Constant boolector_sys::BTOR_SAT_ENGINE_CMS

source · 
pub const BTOR_SAT_ENGINE_CMS: BtorOptSatEngine = 4;