Modular framework for cut pruning algorithms - View it on GitHub