np-hard-problems
Salvador: Approximate Vertex Cover Solver
Compute the Approximate Vertex Cover for undirected graph encoded in DIMACS format.
Esperanza: Approximate Independent Set Solver