Source code of holesize.ml
GNU General Public License v2.0GPL-2.0
I am not sure what to do with it yet but I will probably use it as my future experiment.