npycomp.problems.ThreeSAT.

npycomp.problems.ThreeSAT.name

property ThreeSAT.name

The canonical name of the problem.