Artifact for "Top-Down Synthesis For Library Learning"

POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POPL 2023 Submission #278).

Details and instructions can be found in the README.md file of this upload or at https://github.com/mlb2251/stitch-artifact/blob/main/README.md

Please Note: the README in the VM at /home/artifact/stitch-artifact/README.md is slightly outdated due to various tweaks or additions, including clarifying parts of the instructions and providing the "Additional Artifact Description". So for a smooth evaluation please either git pull the changes into the VM or simply use any of the other copies of the README: the one in the base directory of Zenodo; or the one in stitch-artifact.zip on Zenodo; or the one on the official artifact Github. Sorry for the inconvenience and thank you for helping review!

This is the POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (Submission #278).

This artifact can be downloaded from either of two places:

• Zenodo: https://zenodo.org/record/7150898
• Github: https://github.com/mlb2251/stitch-artifact

Additionally a VirtualBox VM image is available at the Zenodo link above.