Published October 25, 2023 | Version v1
Dataset Open

Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations

Creators

  • 1. Ludwig Maximilian University of Munich

Description

This is the repeatability package, including the tool (called LemmaCalc) in the paper, the benchmark files, a TheSy binary, Z3 binaries for Linux, and scripts to repeat the experiments.

Parts of the paper supported by this artifact: Main results in Fig 1, statistics in Table 1, implementation of Algs 1--4.

Files

artifact.zip

Files (65.1 MB)

Name Size Download all
md5:50c58f304a411a5a0ee23a43f3e72912
65.1 MB Preview Download
md5:a4272998fb0369d81175009596229933
124 Bytes Download
md5:e2c78e0067d310283e1222e0a3f1d2d3
17.3 kB Preview Download