Search Results

---

Abstract

---

Cite as

Éléanore Meyer, Jürgen Giesl, Sophia Greiwe. SiRop (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

---

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-24333,
   title = {{SiRop}}, 
   author = {Meyer, \'{E}l\'{e}anore and Giesl, J\"{u}rgen and Greiwe, Sophia},
   note = {Software, DFG-Research Training Group 2236 UnRAVeL, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:3ca664cebef79bfeb95ec944ddc8441d3b528bf6;origin=https://github.com/aprove-developers/SiRop;visit=swh:1:snp:51bec07ab5b5061e7a0cf5e251adcc2ce0cc1986;anchor=swh:1:rev:d15dac241fed869ede4ad1c432f547a6c3c70b68}{\texttt{swh:1:dir:3ca664cebef79bfeb95ec944ddc8441d3b528bf6}} (visited on 2025-08-20)},
   url = {https://github.com/aprove-developers/SiRop},
   doi = {10.4230/artifacts.24333},
}

@misc{dagstuhl-artifact-24333, title = {{SiRop}}, author = {Meyer, \'{E}l\'{e}anore and Giesl, J\"{u}rgen and Greiwe, Sophia}, note = {Software, DFG-Research Training Group 2236 UnRAVeL, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:3ca664cebef79bfeb95ec944ddc8441d3b528bf6;origin=https://github.com/aprove-developers/SiRop;visit=swh:1:snp:51bec07ab5b5061e7a0cf5e251adcc2ce0cc1986;anchor=swh:1:rev:d15dac241fed869ede4ad1c432f547a6c3c70b68}{\texttt{swh:1:dir:3ca664cebef79bfeb95ec944ddc8441d3b528bf6}} (visited on 2025-08-20)}, url = {https://github.com/aprove-developers/SiRop}, doi = {10.4230/artifacts.24333}, }