Published November 21, 2024
| Version 0.1.0-alpha.1
Software
Open
LydiaSyft - TACAS 2025 Artifact Evaluation
- 1. Bank of Italy
-
2.
Sapienza University of Rome
- 3. Sapienza Università di Roma
-
4.
University of Oxford
-
5.
University of Liverpool
Description
This is the artifact for the TACAS'25 submission "LydiaSyft: A Compositional Symbolic Synthesis Framework for LTLf Specifications."
For instructions, unzip the archive and read the `Readme.md` file in the root directory.
Files
lydiasyft-artifact-evaluation-tacas-2025.zip
Files
(2.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:65400d1ae46f99ff8384572c486487e4
|
2.7 GB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/whitemech/LydiaSyft
- Programming language
- C++