Published March 13, 2023
| Version v1
Software
Open
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Authors/Creators
- 1. Technical University Darmstadt
- 2. Philipps-Universität Marburg
Description
This is our evaluation artifact for our ICGT23 submission "Advanced Consistency Restoration with Higher-Order Short-Cut Rules".
It consists of a VM containing a preinstalled eMoflon together with a PDF file explaining installation and implementation details.
We also included our own measurements.
Files
Benchmark_HO-SC-Horizontal.txt
Files
(5.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f890c1df499ec667b89a3a3a103fbf42
|
236.0 kB | Preview Download |
|
md5:7ab06c975a1dae5f9d0982151be27d3c
|
81.7 kB | Preview Download |
|
md5:7dd698ec321e566edbc1892b033eab02
|
664.6 kB | Preview Download |
|
md5:50bb93dbcdb5c462ee9cd1ff2ec1b792
|
5.7 GB | Download |
|
md5:f9f99187ae981defcd96b3c6b2da4f32
|
765 Bytes | Preview Download |