Supplementary Materials

Abstract

Cite as

Dominique Larchey-Wendling. Constructive substitutes for König's lemma (artifact) (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23151,
   title = {{Constructive substitutes for K\"{o}nig's lemma (artifact)}}, 
   author = {Larchey-Wendling, Dominique},
   note = {Software, NARCO (ANR-21-CE48-0011), swhId: \href{https://archive.softwareheritage.org/swh:1:dir:611c848b0dbc19c9de20744122776440c00e413d;origin=https://github.com/DmxLarchey/Constructive-Konig;visit=swh:1:snp:b2a4befb410e99c74039905ec69fe72e1c266b84;anchor=swh:1:rev:f0445fb756d1bf8a6bb54a9574a6056ef16720db}{\texttt{swh:1:dir:611c848b0dbc19c9de20744122776440c00e413d}} (visited on 2025-07-03)},
   url = {https://github.com/DmxLarchey/Constructive-Konig},
   doi = {10.4230/artifacts.23151},
}

Abstract

Cite as

Nathan Claudet. LU-equals-LC-up-to-19qubits (Software, Script). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23042,
   title = {{LU-equals-LC-up-to-19qubits}}, 
   author = {Claudet, Nathan},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:9a2dae69bfe44d00e0a28d0b426596c4a56dc9c5;origin=https://github.com/nathanclaudet/LU-equals-LC-up-to-19qubits;visit=swh:1:snp:efcecacbc1ef9eeba4aff90dd6a7c0b086d86fe4;anchor=swh:1:rev:6125c5b225af36983a59586045f2150698f21470}{\texttt{swh:1:dir:9a2dae69bfe44d00e0a28d0b426596c4a56dc9c5}} (visited on 2025-06-30)},
   url = {https://github.com/nathanclaudet/LU-equals-LC-up-to-19qubits},
   doi = {10.4230/artifacts.23042},
}

Abstract

Cite as

Dániel Garamvölgyi, Ryuhei Mizutani, Taihei Oki, Tamás Schwarcz, Yutaro Yamaguchi. Code for finding a non-SIBO matroid (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23553,
   title = {{Code for finding a non-SIBO matroid}}, 
   author = {Garamv\"{o}lgyi, D\'{a}niel and Mizutani, Ryuhei and Oki, Taihei and Schwarcz, Tam\'{a}s and Yamaguchi, Yutaro},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:ce3aedc8d6702824b0aaf570f3b345e2e24776c1;origin=https://github.com/taiheioki/sibo;visit=swh:1:snp:b12612e562c84d3ca5eb46a9baf151c8e2e2d3a5;anchor=swh:1:rev:79cbfd0a9fbdac083ee3d99fcf40ea4efd878bf8}{\texttt{swh:1:dir:ce3aedc8d6702824b0aaf570f3b345e2e24776c1}} (visited on 2025-06-30)},
   url = {https://github.com/taiheioki/sibo},
   doi = {10.4230/artifacts.23553},
}

Abstract

Cite as

Runqing Xu, David Klopp, Sebastian Erdweg. Mono Types – First-Class Containers for Datalog (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23600,
   title = {{Mono Types – First-Class Containers for Datalog}}, 
   author = {Xu, Runqing and Klopp, David and Erdweg, Sebastian},
   note = {Software (visited on 2025-06-25)},
   url = {https://gitlab.rlp.net/plmz/artifacts/mono-types-ecoop25},
   doi = {10.4230/artifacts.23600},
}

Abstract

Cite as

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi. sidprasad/copeanddrag (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23608,
   title = {{sidprasad/copeanddrag}}, 
   author = {Prasad, Siddhartha and Greenman, Ben and Nelson, Tim and Krishnamurthi, Shriram},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:b92dbb01ca5fcbe40ac64c8026fb3076fbf85d2a;origin=https://github.com/sidprasad/copeanddrag;visit=swh:1:snp:990270b6e3e85f7a6917e242812969d881a8b6cc;anchor=swh:1:rev:51bd5b858fffd4e8c78791d272293d140c1b2fdb}{\texttt{swh:1:dir:b92dbb01ca5fcbe40ac64c8026fb3076fbf85d2a}} (visited on 2025-06-25)},
   url = {https://github.com/sidprasad/copeanddrag/tree/ecoop-25},
   doi = {10.4230/artifacts.23608},
}

Abstract

Cite as

@misc{dagpub-supp--paper-22494-urlgithub.com-JoelYYoung-RecTopo,
   title = {{JoelYYoung/RecTopo}}, 
   author = {Yang, Jiawei and Cheng, Xiao and Chang, Bor-Yuh Evan and Luo, Xiapu and Sui, Yulei},
   note = {Software (visited on 2025-06-25)},
   url = {https://github.com/JoelYYoung/RecTopo},
}

Abstract

Cite as

@misc{dagpub-supp--paper-22509-urlhackage.haskell.org-package-packed-data,
   title = {{packed-data}}, 
   author = {Jamet, Arthur and Vollmer, Michael},
   note = {Software, version 0.1.0.3., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:027d47580c14b18a2969e17a715e86c2094246ad;origin=https://github.com/Arthi-chaud/packed-data;visit=swh:1:snp:e38671f0f86fd4c070f3d08db14c41ec7e7ef143;anchor=swh:1:rev:33072fdaccd3f25cd416276780f2a2b2778e29d3}{\texttt{swh:1:dir:027d47580c14b18a2969e17a715e86c2094246ad}} (visited on 2025-06-25)},
   url = {https://github.com/Arthi-chaud/packed-data.git},
}

Abstract

Cite as

Tomáš Dacík, Tomáš Vojnar. TDacik/Deadlock_and_Racer (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23614,
   title = {{TDacik/Deadlock\underlineand\underlineRacer}}, 
   author = {Dac{\'\i}k, Tom\'{a}\v{s} and Vojnar, Tom\'{a}\v{s}},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:fc33aed78b227ea0738a89894b3dfa91b4f46844;origin=https://github.com/TDacik/Deadlock_and_Racer;visit=swh:1:snp:f9a0093f3b0321a80252a9408c93715a9a5b3634;anchor=swh:1:rev:927909b70493e6373b49185c6d5cf59e85762f8c}{\texttt{swh:1:dir:fc33aed78b227ea0738a89894b3dfa91b4f46844}} (visited on 2025-06-25)},
   url = {https://github.com/TDacik/Deadlock_and_Racer},
   doi = {10.4230/artifacts.23614},
}

Abstract

Cite as

Sangyeop Yeo, Seung-Won Hwang, Yu-Seung Ma. Chain-of-Grounded-Objectives (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23374,
   title = {{Chain-of-Grounded-Objectives}}, 
   author = {Yeo, Sangyeop and Hwang, Seung-Won and Ma, Yu-Seung},
   note = {Software, version 1.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:315704008a9f9a515047943266a959518485cbb0}{\texttt{swh:1:dir:315704008a9f9a515047943266a959518485cbb0}} (visited on 2025-06-25)},
   url = {https://github.com/DDIDUs/Chain-of-Grounded-Objectives},
   doi = {10.4230/artifacts.23374},
}

Abstract

Cite as

Alexander He. AlexHe98/idealedge (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23286,
   title = {{AlexHe98/idealedge}}, 
   author = {He, Alexander},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:ebcbe72831246d6d99ed7ff98f3cc00940ed808c;origin=https://github.com/AlexHe98/idealedge;visit=swh:1:snp:0aecbae79b28d96e564539477e07d7c034f15e2a;anchor=swh:1:rev:9025c724d3c0c208f67a3b711a9342810c7d8909}{\texttt{swh:1:dir:ebcbe72831246d6d99ed7ff98f3cc00940ed808c}} (visited on 2025-06-20)},
   url = {https://github.com/AlexHe98/idealedge},
   doi = {10.4230/artifacts.23286},
}

Abstract

Cite as

Rhuaidi Antonio Burke, Benjamin A. Burton, Jonathan Spreer. raburke/Dim4Census (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-23281,
   title = {{raburke/Dim4Census}}, 
   author = {Burke, Rhuaidi Antonio and Burton, Benjamin A. and Spreer, Jonathan},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:ee5ac0c76fdef9983c5de8a0be93f7684dd9a796;origin=https://github.com/raburke/Dim4Census;visit=swh:1:snp:a7fee9b4ed22b6bf281127e889c432095a216a58;anchor=swh:1:rev:54753c465209c14b34834a5f13cfe373b53ca4c6}{\texttt{swh:1:dir:ee5ac0c76fdef9983c5de8a0be93f7684dd9a796}} (visited on 2025-06-20)},
   url = {https://github.com/raburke/Dim4Census},
   doi = {10.4230/artifacts.23281},
}

Abstract

Cite as

Eliot Robson. FrechetLib (Software, Python Implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-22984,
   title = {{FrechetLib}}, 
   author = {Robson, Eliot},
   note = {Software, version v0.1.1., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:cf434ca17d61d3d43c67e7bc40fd2eb2b507c9d9;origin=https://github.com/eliotwrobson/FrechetLib;visit=swh:1:snp:9cdf92bbf9d1b38a2a49a21629a7860bccef0b21;anchor=swh:1:rev:15ff3f05ea650bbfa516ac6c042536324dd3ef61}{\texttt{swh:1:dir:cf434ca17d61d3d43c67e7bc40fd2eb2b507c9d9}} (visited on 2025-06-20)},
   url = {https://github.com/eliotwrobson/FrechetLib},
   doi = {10.4230/artifacts.22984},
}

Abstract

Cite as

Sariel Har-Peled. FrechetDist.jl (Software, Julia Implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{dagstuhl-artifact-22985,
   title = {{FrechetDist.jl}}, 
   author = {Har-Peled, Sariel},
   note = {Software, version 2.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:9600673d8c20bc49890fd55c71bd6e5c841dc7df;origin=https://github.com/sarielhp/FrechetDist.jl;visit=swh:1:snp:8c9d1c430314b1156b74611113187797b7332fc7;anchor=swh:1:rev:0ea6e4235ed8088fe3cf518472e3a7d9b9d2e1c6}{\texttt{swh:1:dir:9600673d8c20bc49890fd55c71bd6e5c841dc7df}} (visited on 2025-06-20)},
   url = {https://github.com/sarielhp/FrechetDist.jl},
   doi = {10.4230/artifacts.22985},
}

Abstract

Cite as

Erik D. Demaine, Stefan Langerman. edemaine/three-tiles (Software, Implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{github,
   title = {{edemaine/three-tiles}}, 
   author = {Demaine, Erik D. and Langerman, Stefan},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:aef5f642bf8a40c0cecf56bfb62b9e089effb265;origin=https://github.com/edemaine/three-tiles;visit=swh:1:snp:f51d1a43b8e6c6e91cba96f48a8679c32d7705ed;anchor=swh:1:rev:0c1bcecad93ba8fca7153137382063e2daa76480}{\texttt{swh:1:dir:aef5f642bf8a40c0cecf56bfb62b9e089effb265}} (visited on 2025-06-20)},
   url = {https://github.com/edemaine/three-tiles},
   doi = {10.4230/artifacts.23339},
}

Abstract

Cite as

Rolf Svenning. RolfSvenning/ContiguousArtGallery (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

@misc{github_impl,
   title = {{RolfSvenning/ContiguousArtGallery}}, 
   author = {Svenning, Rolf},
   note = {Software, Independent Research Fund Denmark (DFF), grant 9131- 00113B, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:7cfaba2c09d953feb90a49f0e26370ea3f7719a7;origin=https://github.com/RolfSvenning/ContiguousArtGallery;visit=swh:1:snp:24512c962bdc05c9bff737a006e263acf6b13e78;anchor=swh:1:rev:af66971aa2b832e98dcd6b1fcf8eac88d5901b93}{\texttt{swh:1:dir:7cfaba2c09d953feb90a49f0e26370ea3f7719a7}} (visited on 2025-06-20)},
   url = {https://github.com/RolfSvenning/ContiguousArtGallery},
   doi = {10.4230/artifacts.23018},
}