npycomp.problems.SAT. npycomp.problems.SAT.name# property SAT.name# The canonical name of the problem.
