npycomp.problems.Clique.

solve

Clique.solve()

Solve the problem instance.

Solve the problem instance by reducing it to a SAT problem and invoking a SAT solver.

Returns:

bool or object

A satisfying assignment to the problem instance, or False if no such assignment exists.