On Minimal Sets to Destroy the $k$-Core in Random Networks solver.nb Contains Mathematica notebook with simple first order solver for the DGLs that follow the corehd algorithm. chouffe.py Contains python implementation of the corehd and weak-neighbor algorithm.