de><span class="keyword">val</span> witness : <span>?&#8288;verbose:bool</span> <span>&#45;&gt;</span> float <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../../Libabsolute/Csp/index.html#type-t">Libabsolute.Csp.t</a> <span>&#45;&gt;</span> <a href="../../Libabsolute/Consistency/index.html#type-feasible">Libabsolute.Consistency.feasible</a></code></dt><dd><p>satisfiability check, with witness</p></dd></dl></div></body></html>