hime
hime copied to clipboard
Tree felling for SPPF
For #96, we need to delete invalid tree in case if current node is illegal for now and obviously in the future (hence felling a tree -- We generate a bunch of spanning trees from SPPF and then we fell the ones that are illegal)