Solvi: a visual constraint modeling tool

Xu Zhu*, Miguel Nacenta, Ozgur Akgun, Daniel Zenkovitch

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

14 Downloads (Pure)


Discrete constraint problems surface often in everyday life. Teachers might group students with complex considerations and hospital administrators need to produce staff rosters. Constraint programming (CP) provides techniques to efficiently find solutions. However, there remains a key challenge: these techniques are still largely inaccessible because expressing constraint problems requires sophisticated programming and logic skills. In this work we contribute a language and tool that leverage knowledge of how non-experts conceptualize problems to facilitate the expression of constraint models. Additionally, we report the results of a study surveying the advantages and remaining challenges towards making CP accessible to the wider public.
Original languageEnglish
Article number101242
Number of pages12
JournalJournal of Computer Languages
Early online date24 Nov 2023
Publication statusPublished - Mar 2024


  • Constraints programming
  • Visualization
  • Visual modeling
  • Visual language
  • human computer interaction


Dive into the research topics of 'Solvi: a visual constraint modeling tool'. Together they form a unique fingerprint.

Cite this