dt class="spec value" id="val-add_constr"><a href="#val-add_constr" class="anchor"></a><code><span class="keyword">val</span> add_constr : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../Libabsolute/Constraint/index.html#type-t">Libabsolute.Constraint.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>adds a constraint to the csp</p></dd></dl></section><section><header><h2 id="operations"><a href="#operations" class="anchor"></a>Operations</h2></header><dl>