href="BoxCP/index.html">BoxCP</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Module for the Box Abstract Domains for Constraint Programming.</p></dd></dl><dl><dt class="spec module" id="module-OctMinMinCP"><a href="#module-OctMinMinCP" class="anchor"></a><code><span class="keyword">module</span> <a href="OctMinMinCP/index.html">OctMinMinCP</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Module for the Octagon Abstra