np-complete
Varela: Approximate Vertex Cover Solver
OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.
A Python library for NP-complete reductions.