npycomp.problems.ThreeSAT.

from_dimacs

classmethod ThreeSAT.from_dimacs(path: str)

Load a SAT instance from a DIMACS file.

Parameters:

path: str

Path to DIMACS-format file describing a SAT instance.

Returns:

SAT

An instance of the SAT class with clauses built from the file.