KaMIS – Finding Large Independent Sets Fast
github.com