/a>
&nbsp;<a class="post" href="OpamSolver.html" title="OpamSolver">Next</a>
</div>
<h1>Module <a href="type_OpamHeuristic.html">OpamHeuristic</a></h1>
<pre><span class="keyword">module</span> OpamHeuristic: <code class="code">sig</code> <a href="OpamHeuristic.html">..</a> <code class="code">end</code></pre><div class="info">
Solver heuristics.<br>
</div>
<hr width="100%">
<br>
This module tries to turn an efficient solution checker (such as
    the one provided by the dose3 library, writen by J. Vouillon) 