This repo is supplementary to the 2024 paper 'Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation' by Matthew Sutcliffe and Aleks Kissinger.
Included is a Jupyter notebook (and PDF copy, for those not wanting to run the notebook) which showcases the procedure outlined in the paper, with examples and explanations, as well as ready benchmarking experiments with which one can reproduce the results we show in the paper.