npycomp.problems.SAT.
solve#
- SAT.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
Falseif no such assignment exists.