dwavebinarycsp.io.cnf.load_cnf¶

load_cnf(fp)[source]¶

Load a constraint satisfaction problem from a .cnf file.

Parameters:	fp (file, optional) – .write()-supporting file object DIMACS CNF formatted file.
Returns:	`ConstraintSatisfactionProblem` a binary-valued SAT problem.

Examples

>>> import dwavebinarycsp as dbcsp
...
>>> with open('test.cnf', 'r') as fp: # doctest: +SKIP
...     csp = dbcsp.cnf.load_cnf(fp)