GitHub repository: KarlsruheMIS/KaMIS
Primary language: C++
Description: Maximum independent sets and vertex covers of large sparse graphs.