ved">Base</span>.option</span></span></code></div><div class="spec-doc"><p>Perform a bounded check of the solution. As opposed to check_solution this does not take advantage of partial bounding techniques. Consequently, it does not require sets of terms as arguments but only a problem definition and a solution. Returns the first equation for which checking has failed (the first element is the counterexample). Returns None if the check passed.</p></div></div><div class="odoc-spec"><div class="spec value" id=