This project contains code that allows to simulate the computation of tree-size estimates based on sampling. Currently, only .vbc files that track branch-and-bound trees in MIP solvers can be read. SCIP is a MIP solver that can easily produce this output.
The paper https://www.ijcai.org/proceedings/2017/67 uses the first version of this code in its experiments.
The first version of this code was originally written by Pierre Le Bodic's student Samuel Esler.