pyeda.parsing.boolexpr.parse invalid docstring

[cjdrake]

This code parses Boolean expressions, but says it parses DIMACS SAT.

def parse(s):
    """
    Parse an input string in DIMACS SAT format,
    and return an expression abstract syntax tree.
    """