Solvi: A visual constraint modeling tool. - Xu Zhu 005; Miguel A. Nacenta; Özgür Akgün; Daniel Zenkovitch (J. Comput. Lang., 2024)