cp-profiler
Pinned Loading
Repositories
- search-reader Public
A simple utility that can read the output produced by the complimentary search-recorder utility and redirect it to CP-Profiler.
- gecode-profiling Public
Modified version of Gecode solver that implements protocol of the cp-profiler
- java-integration Public
- search_recorder Public archive
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.
- search_reader Public archive
Reads the output file produced by search_recorder and sends the encoded messages to the profiler.
- search_logger Public
Uses the same protocol as CP-Profiler and prints messages sent from solvers onto the screen. Useful for debugging!
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…