This repository is reproducing experiments on formula generation.
You need python 3. First, you need to install the dependencies and run setup develop or install:
pip install -r requirements.txt
python setup.py develop
pytho cli.py full
will run the full pipeline and save the data on instances/SOME_FOLDER, each time you call full the results are saved in a folder for which the name is generated randomly.