><span class="nh "><a href="Message$$Solve.html"><span class="micon ca"></span><span>Solve</span></a></span></div><div class="ni n3 "><span class="nh "><a href="Message$$NextSolution.html"><span class="micon ca"></span><span>NextSolution</span></a></span></div><div class="ni n3 "><span class="nh "><a href="Message$$SolveProblem.html"><span class="micon ca"></span><span>SolveProblem</span></a></span></div><div class="ni n3 "><span class="nh "><a href="Message$$Convert.html"><span class="micon ca"></span><spa