minisat
cadical
cms_dyn
cms_static
cms
