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