SMT-based Constraint Answer Set Solver ezsmt+
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/f70ddcec-9447-46a7-b21c-cfcd6cf1d7eb
下载链接
链接失效反馈官方服务：
资源简介：
SMT-based Constraint Answer Set Solver ezsmt+ 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
