# Steps to follow:
Create the virtual environment as explained in the native install option.
Clustering.ipynb contains the execution of the methodology described in clustering.py.
The current version involves the centroid initialization experiment and the elbow method k value.
Run the clustering.ipynb code and create an lgkmc pickle object. 
Use this pickle object for marabou verification.
The changes for weighted k-means is present in the weight_iteration folder.
Once Verification is complete, run the combine_csv script from the scripts folder.