 recent versions; if this
    does not work, we try to minimize the distance between the ideal
    state and the solution we are proposing.<br>
</div>
<br>
<h4 id="4_Polymorphicspace">Polymorphic space</h4><br>
<pre><span id="VALbrute_force"><span class="keyword">val</span> brute_force</span> : <code class="type">?verbose:bool -><br>       ('a <a href="OpamHeuristic.html#TYPEstate">state</a> -> bool) -><br>       'a <a href="OpamHeuristic.html#TYPEstate_space">state_space</a> -> 'a <a href="OpamHeuristic.ht