qiskit.circuit.classicalfunction.BooleanExpression.from_dimacs_file¶ classmethod BooleanExpression.from_dimacs_file(filename)[source]¶ Create a BooleanExpression from the string in the DIMACS format. :type filename: str :param filename: A file in DIMACS format. Returns A gate for the input string Return type BooleanExpression Raises FileNotFoundError – If filename is not found.