Allow the end user to visualize the search of the solvers
It is possible to hook SearchListener s to the solver in order to see what's going on inside the solver. However, this need to be done using the API. There is currently no easy way to allow the command line user to trace the behavior of the solver. It would be nice to provide a default tracing scheme to monitor the solver's behavior.