The IBM® ILOG® Solver Debugger is composed of a GUI and a set of C++ libraries. The C++ libraries enable a C++ application written on top of IBM ILOG Solver or IBM ILOG Scheduler to connect to the Debugger GUI in order to monitor, trace, and debug its execution or tune its performance. Solver Debugger contains graphic facilities to monitor the search (Search Tree), the propagation (Propagation Spy and Variable Domains), and to combine search and propagation information (Christmas Tree). It provides a Constraint Profiler to obtain statistics, by constraint, about constraint calls and efficiency in terms of domain reduction. It also enables you to create your own 2D animated graphic representation of the problem being solved (Drawing Board).
This chapter explains how to connect and use Solver Debugger. It includes the following sections:
PREVIOUS
NEXT