Compute the Approximate Vertex Cover for undirected graph encoded in DIMACS format.
An AI constraint solver that optimizes planning and scheduling problems
A Python library for NP-complete reductions.