@misc{dagstuhl-artifact-22517,
title = {{epfl-lara/lisa}},
author = {Guilloud, Simon and Gambhir, Sankalp and Gilot, Andrea and Kun\v{c}ak, Viktor},
note = {Software, version 0.1., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:c3f6e63aa274ed7ea292efcb0eade3f4abb60d2a;origin=https://github.com/epfl-lara/lisa;visit=swh:1:snp:64f8fc9f8972d4d54804632b32b91b51eee621fb;anchor=swh:1:rev:9976621a9198b3a81aeb1e49a952bc0e232ea491}{\texttt{swh:1:dir:c3f6e63aa274ed7ea292efcb0eade3f4abb60d2a}} (visited on 2024-11-28)},
url = {https://github.com/epfl-lara/lisa/tree/itp2024-archive},
doi = {10.4230/artifacts.22517},
}