@misc{indiciaec4a7a8cbe422,
  title = {CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses},
  author = {Mihály Dobos-Kovács and Levente Bajczi and András Vörös},
  year = {2025},
  doi = {10.4204/eptcs.434.6},
  url = {https://arxiv.org/abs/2510.26431},
  note = {Source identifier: 2510.26431}
}