niverse -><br>       Cudf.package <a href="OpamHeuristic.html#TYPEstate_space">state_space</a> -><br>       Cudf.package <a href="OpamHeuristic.html#TYPEstate">state</a> option</code></pre><div class="info">
Explore the given package state-space using the <code class="code">brute_force</code> strategy.
    We assume that all the packages belong to the given universe.<br>
</div>
<pre><span id="VALstate_of_request"><span class="keyword">val</span> state_of_request</span> : <code class="type">?verbose:bool -><