Closed jcrozum closed 3 years ago
Format.bnetDNF2list requires the input to be in disjunctive normal form, but this is not made explicit in the documentation.
Also, it doesn't take the full rule, just the expression (i.e.., the part after the comma).
I've updated the docstrings and manual.
Format.bnetDNF2list requires the input to be in disjunctive normal form, but this is not made explicit in the documentation.