Maximum independent sets and vertex covers of large sparse graphs.
Bugfixes.
In this version, we added branch and reduce codes for weighted independent sets, local search for weighted independents sets, online mis (fast local search for unweighted independent sets) as well as faster reductions. Moreover, we switched our build system to CMake and the license to MIT.