KarlsruheMIS/KaMIS
Maximum independent sets and vertex covers of large sparse graphs.
GitHub repository with 87 stars and 33 forks.
Language: C++
Topics: algorithm, datareduction, graph, kernelization, maximum-independent-sets, reductions, sparse-graphs