icants; L is to be
interpreted as AND-separated. e.g.,
L=[[{'A':0,'B':1},{C:0}],[{'B':0,'D':1},{'A':1}]]
should be read as L = (!A&amp;B | !C) &amp; (!B &amp; D | A)</p>
<h2 id="parameters">Parameters</h2>
<dl>
<dt><strong><code>maxts</code></strong> :&ensp;<code>list</code> of <code>partial state dictionaries</code></dt>
<dd>Stable motifs, i.e., maximum trap spaces for the system.</dd>
<dt><strong><code>trmaxts</code></strong> :&ensp;<code>list</code> of <code>partial state dictionaries</code></dt>
<dd>Sta