Add space files.

README.md

@@ -1,3 +1,14 @@
+---
+title: Program Synthesis
+emoji: 🤗
+colorFrom: blue
+colorTo: green
+sdk: streamlit
+sdk_version: 1.19.0
+app_file: app.py
+pinned: false
+---
+
 # Bottom-Up Enumerative Program Synthesis
 
 Completed for [CS252R: Program Synthesis](https://synthesis.metareflection.club/) at the Harvard John A. Paulson School of Engineering and Applied Sciences, taught in Fall 2023 by Prof. Nada Amin.

app.py

@@ -0,0 +1,10 @@
+import streamlit as st
+
+# standard imports
+import numpy as np
+import argparse
+import itertools
+import time
+
+# write streamlit title
+st.title("Bottom-Up Enumerative Program Synthesis")

requirements.txt

@@ -0,0 +1,6 @@
+numpy
+argparse
+itertools
+time
+os
+pathlib