Solvi: A visual constraint modeling tool

Xu Zhu, Miguel A. Nacenta, Özgür Akgün, Daniel Zenkovitch. Solvi: A visual constraint modeling tool. Journal of Computer Languages, 78:101242, March 2024. [doi]

@article{ZhuNAZ24,
  title = {Solvi: A visual constraint modeling tool},
  author = {Xu Zhu and Miguel A. Nacenta and Özgür Akgün and Daniel Zenkovitch},
  year = {2024},
  month = {March},
  doi = {10.1016/j.cola.2023.101242},
  url = {https://doi.org/10.1016/j.cola.2023.101242},
  researchr = {https://researchr.org/publication/ZhuNAZ24},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {78},
  pages = {101242},
}