st of OR-separated prime implicants; L is to be
    interpreted as AND-separated. e.g.,
    L=[[{&#39;A&#39;:0,&#39;B&#39;:1},{C:0}],[{&#39;B&#39;:0,&#39;D&#39;:1},{&#39;A&#39;:1}]]
    should be read as L = (!A&amp;B | !C) &amp; (!B &amp; D | A)

    Parameters
    ----------
    maxts : list of partial state dictionaries
        Stable motifs, i.e., maximum trap spaces for the system.
    trmaxts : list of partial state dictionaries
        Stable motifs, i.e., maximum trap spaces for the time-reversed sy