A System for Solving Constraint Satisfaction Problems with SMT | Publicación