casp

本文介绍了ezsmtv3，一个可扩展的基于SMT的约束答案集编程框架，引入了更具表达力的输入语言和通过弱约束的优化，利用cvc5、yices和z3等求解器。