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.
cp-profiler/search-reader’s past year of commit activity - gecode-profiling Public
Modified version of Gecode solver that implements protocol of the cp-profiler
cp-profiler/gecode-profiling’s past year of commit activity - java-integration Public
cp-profiler/java-integration’s past year of commit activity - 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.
cp-profiler/search_recorder’s past year of commit activity - search_reader Public archive
Reads the output file produced by search_recorder and sends the encoded messages to the profiler.
cp-profiler/search_reader’s past year of commit activity - search_logger Public
Uses the same protocol as CP-Profiler and prints messages sent from solvers onto the screen. Useful for debugging!
cp-profiler/search_logger’s past year of commit activity
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…