The code for 'OC-space: a Unifying Perspective on Verification of Tree Ensembles' - View it on GitHub