Hvala: Approximate Vertex Cover Solver
Salvador: Approximate Vertex Cover Solver
Compute the Approximate Independent Set for undirected graph encoded in DIMACS format.
