~CachingSolver() { cache.clear(); unsat_core_store.clear(); delete solver; }
~CachingSolver() { cache.clear(); delete solver; }
// 清空所有数据 void clear() { list_.clear(); map_.clear(); }