Search Recorder uses the same protocol as the profiler, but is designed to record coming from a solver messages (nodes and commands) to a file. The resulting file is readable by Search Reader. The file can then be read by the search_reader to simulate the original solver execution.
This repository was archived by the owner on May 10, 2018. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
cp-profiler/search_recorder
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Writes solver execution as a sequence of messages to a file. The file can then be read by the search_reader to simulate the original solver execution.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published