independent-set-problem
Compute the Approximate Independent Set for undirected graph encoded in DIMACS format.