>

    Finally, we run all this in a loop, until we reach a fix point. We
    use a timeout to interrupt too long explorations.<br>
<br>
<h2 id="2_HighlevelAPI">High-level API</h2><br>
<pre><span id="VALresolve"><span class="keyword">val</span> resolve</span> : <code class="type">?verbose:bool -><br>       Cudf.universe -><br>       Cudf_types.vpkg <a href="OpamTypes.html#TYPErequest">OpamTypes.request</a> -><br>       (Cudf.package <a href="OpamTypes.html#TYPEaction">OpamTypes.action</a> list, Algo.Diagnos