cmodels(diff)
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/b9f06be9-13b4-42bc-bb7b-35252940160d
下载链接
链接失效反馈官方服务：
资源简介：
cmodels(diff) is a system that uses Satisfiability Modulo Theories (SMT) solvers to find answer sets of Constraint Answer Set Programming (CASP) programs. The system can handle non-tight programs and enumerate multiple answer sets.
提供机构：
TIB
创建时间：
2024-12-16
