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