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