There is a newer version of the record available.

Published October 5, 2022 | Version 1
Software Open

Artifact for "Top-Down Synthesis For Library Learning"

Authors/Creators

  • 1. MIT
  • 2. Theo X.
  • 3. Catherine
  • 4. Gabriel
  • 5. Joshua B.
  • 6. Kevin
  • 7. Armando

Description

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

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

Files

Files (6.5 GB)

Name Size
md5:4f49a4667ea509e87985824dfa9cbd2c
371 Bytes Download
md5:0d599fab1af67de545541bfd5c111a43
6.5 GB Download
md5:4f49a4667ea509e87985824dfa9cbd2c
371 Bytes Download