Solvi: A visual constraint modeling tool

Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Daniel Zenkovitch

Abstract: Highlights•We contributed a language and tool to facilitate the expression of constraint models.•This language and tool is called Solvi.•The language design leverages knowledge of how non-experts conceptualize problems.•We conducted a quantitative user study examining advantages and remaining challenges.•This will help make constraint problem modeling more accessible to the wider public.