npycomp.problems.SAT.

from_dimacs

classmethod SAT.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.