GitHub repository: GPLi-TUWIEN/dynaMIS
Description: Dynamic Vienna Maximum/maximal Independent Set Solver