mpc_wstl

Installation

1. Install and activate gurobi.
2. Create a directory that will contain Pytelo and this repo.

project
│
├─── PyTeLo
│
└─── mpc_wstl

3. Download PyTeLo.
   • Checkout to wstl branch.
   • Follow instructions, perform antrl4 step with both stlg4 and wstl.g4 .
4. $ cd mpc_wstl/tests and run python files.
   • If No module named 'stl' error appears might be due to a missreference of the PyTeLo library to itself, in the PyTeLo python files there are references like from stl import , they need to be imported with a '.' as from .stl import.