GitHub repository: sebalamm/KaMIS
Primary language: C++
Description: Maximum independent sets of large sparse graphs.