npycomp.problems.ThreeSAT.

npycomp.problems.ThreeSAT.formula#

property ThreeSAT.formula#