different problems push
those limits to different degrees. So the fact is that no solver is perfect, but
no solver <em>can</em> be.</p>
<p>When we consider <a class="reference internal" href="intro.html#what-is-midcp"><em>mixed-integer problems</em></a>, the situation is even worse.
Solvers must perform what is effectively an exhaustive search among
the integer variables to determine the correct solution. Yes, there are some intelligent
and innovative ways to speed up that search, and the performance of mix