satisfiability-modulo-theories

This paper presents ezsmtv3, an extensible SMT-based Constraint Answer Set Programming framework that introduces a more expressive input language and optimization via weak constraints, leveraging solvers like cvc5, yices, and z3.