crest - Constrained REwriting Software Tool: Artifact for JAR 2026

The artifact contains source code, binaries, benchmarks, experimental data anda setup to reproduce the experiments centered around the presented tool crest.Binaries and source code only cover tools developed on our own. This includesall the transformation tools described in the paper. For related tools used inthe experiments, we include configurations and instructions how to includetheir binaries. Everything is explained in a detailed README and convenientshell scripts are provided in order to ease its usage. For consistency weadditionally add the obtained results of the experiments presented in theaccompanying paper.