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).