Search Logger Uses the same protocol as CP-Profiler and prints messages sent from solvers onto the screen. Useful for debugging! Compiling Use cmake to generate a Makefile and compile: mkdir build && cd build && cmake .. && make