br>       Cudf.universe -><br>       Cudf_types.vpkg <a href="OpamTypes.html#TYPErequest">OpamTypes.request</a> -> Cudf.package <a href="OpamHeuristic.html#TYPEstate">state</a> option</code></pre><div class="info">
Find a possible good state which satisfies a request. The idea is
    call iteratively this function while refining the constraints in
    the request until reaching a fix-point. This function tries to
    minimize the state to explore, based on the request constraints:
    the more constrained r