We provide simple examples in both C++ and Python to show how to build optimization models and apply the reformulation strategies. Click here to see the "Getting started" section in the Github Repo.