Welcome to stitch_core’s documentation!
stitch_core is a Python library for running the abstraction learning tool stitch
from the paper Top-Down Synthesis for Library Learning (POPL 2023).
stitch_core’s documentation!stitch_core is a Python library for running the abstraction learning tool stitch
from the paper Top-Down Synthesis for Library Learning (POPL 2023).