Search Reader works hand in hand with Search Recorder: it reads the output file produced by Search Recorder and sends the encoded messages to the profiler, simulating the original solver execution.
This repository was archived by the owner on May 10, 2018. It is now read-only.
cp-profiler/search_reader
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|