'''
BOTTOM UP ENUMERATIVE SYNTHESIS
Ayush Noori
CS252R, Fall 2020
'''

# load libraries
import numpy as np
import os

# import project config file
import sys
sys.path.append('..')
import project_config