Published October 15, 2021
| Version v1
Software
Open
Artifact for Paper "Practical Applications of the Alternating Cycle Decomposition"
Authors/Creators
- 1. LaBRI, Université de Bordeaux
- 2. LRDE, EPITA
- 3. Independent Researcher
- 4. School of Computer Science and Engineering, The Hebrew University of Jerusalem
Description
This artifact contains the tools discussed in the paper "Practical Applications of the Alternating Cycle Decomposition" (submitted to TACAS'22) as well as the scripts necessary to reproduce the presented benchmarks, and to rebuild the plots included in the paper.
It is meant to be used with the VM provided at https://doi.org/10.5281/zenodo.5562597
Please uncompress this Zip file inside the VM, for instance in the tacas22 home directory. (Uncompressing outside of VM is likely to create permission issues.)