spaces.md

---
title: Program Synthesis
emoji: 🤗
colorFrom: blue
colorTo: green
sdk: streamlit
sdk_version: 1.19.0
app_file: app.py
pinned: false
---