ef="OpamHeuristic.html#TYPEstate_space">state_space</a></code></pre><div class="info">
Build a state space from a list of package names. The <code class="code">filter</code>
    option helps to reduce the size of the state-space, which is
    useful to deal with both user-defined constraints (added on the
    command line for instance) and refined requests (see below).<br>
</div>
<pre><span id="VALexplore"><span class="keyword">val</span> explore</span> : <code class="type">?verbose:bool -><br>       Cudf.u