cp-profiler

Profiling and Visualisation for Constraint Programming

Pre-release binaries for Linux are available here: https://github.com/cp-profiler/cp-profiler/releases/tag/0.1

Dependencies:

Qt >=5.4.x

Linux/Mac:

mkdir build && cd build
qmake .. && make

How to use it:

Start the profiler

(from cp-profiler/build directory):

cp-profiler.app/Contents/MacOS/cp-profiler (Mac)

Run the modified solver

To use Gecode (from gecode-profiling directory):

`tools/flatzinc/fzn-gecode my-model.fzn`

Note: if you didn't `make install` Gecode, then add *gecode-profiling* directory to the shared libraries path like so:

`LD_LIBRARY_PATH=$PWD tools/flatzinc/fzn-gecode my-model.fzn` (Linux)
`DYLD_LIBRARY_PATH=$PWD tools/flatzinc/fzn-gecode my-model.fzn` (Mac)

The solver will be sending and the profiler receiving and incrementally drawing the search tree in real time.

Note: Because every new node can potentially cause the entire search tree layout to be recalculated (and slow down the drawing), it is recommended that display refresh rate is set to a reasonably high number (>1000), unless real-time drawing is required.

Changing display refresh rate

Display refresh rate determines how many nodes should be received between any two consecutive updates of the search tree drawing.

The property is available in StandaloneGist -> Preferences... sub-menu (⌘, or ctr + , shortcut).

Different ways to display the search

[coming soon]

Hiding by size

Pixel Search Tree view

Search Tree Comparison

In the current implementation the first and the second executions will be compared.

Name		Name	Last commit message	Last commit date
Latest commit History 426 Commits
cpprofiler		cpprofiler
libs		libs
third-party		third-party
webscripts		webscripts
.gitignore		.gitignore
LICENSE.TXT		LICENSE.TXT
README.md		README.md
cmp_tree_dialog.cpp		cmp_tree_dialog.cpp
cmp_tree_dialog.hh		cmp_tree_dialog.hh
cp-profiler.pro		cp-profiler.pro
cp-profiler.qrc		cp-profiler.qrc
cp-profiler.sh		cp-profiler.sh
data.cpp		data.cpp
data.hh		data.hh
drawingcursor.cpp		drawingcursor.cpp
drawingcursor.hh		drawingcursor.hh
drawingcursor.hpp		drawingcursor.hpp
execution.cpp		execution.cpp
execution.hh		execution.hh
gistmainwindow.cpp		gistmainwindow.cpp
gistmainwindow.h		gistmainwindow.h
globalhelper.cpp		globalhelper.cpp
globalhelper.hh		globalhelper.hh
heap.cpp		heap.cpp
heap.hpp		heap.hpp
highlight_nodes_dialog.hpp		highlight_nodes_dialog.hpp
layoutcursor.hh		layoutcursor.hh
layoutcursor.hpp		layoutcursor.hpp
main.cpp		main.cpp
make-linux-bundle.sh		make-linux-bundle.sh
make-mac-bundle.sh		make-mac-bundle.sh
maybeCaller.cpp		maybeCaller.cpp
maybeCaller.hh		maybeCaller.hh
message.pb.cpp		message.pb.cpp
message.pb.hh		message.pb.hh
message.proto		message.proto
ml-stats.cpp		ml-stats.cpp
ml-stats.hh		ml-stats.hh
node.cpp		node.cpp
node.hh		node.hh
node.hpp		node.hpp
node_info_dialog.cpp		node_info_dialog.cpp
node_info_dialog.hh		node_info_dialog.hh
nodecursor.hh		nodecursor.hh
nodecursor.hpp		nodecursor.hpp
nodecursor_base.hh		nodecursor_base.hh
nodestats.cpp		nodestats.cpp
nodestats.hh		nodestats.hh
nodetree.hh		nodetree.hh
nodevisitor.hh		nodevisitor.hh
nodevisitor.hpp		nodevisitor.hpp
nodewidget.cpp		nodewidget.cpp
nodewidget.hh		nodewidget.hh
nogood_dialog.cpp		nogood_dialog.cpp
nogood_dialog.hh		nogood_dialog.hh
preferences.cpp		preferences.cpp
preferences.hh		preferences.hh
profiler-conductor.cpp		profiler-conductor.cpp
profiler-conductor.hh		profiler-conductor.hh
profiler-tcp-server.cpp		profiler-tcp-server.cpp
profiler-tcp-server.hh		profiler-tcp-server.hh
qtgist.cpp		qtgist.cpp
qtgist.hh		qtgist.hh
readingQueue.cpp		readingQueue.cpp
readingQueue.hh		readingQueue.hh
receiverthread.cpp		receiverthread.cpp
receiverthread.hh		receiverthread.hh
spacenode.cpp		spacenode.cpp
spacenode.hh		spacenode.hh
spacenode.hpp		spacenode.hpp
treebuilder.cpp		treebuilder.cpp
treebuilder.hh		treebuilder.hh
treecanvas.cpp		treecanvas.cpp
treecanvas.hh		treecanvas.hh
treecomparison.cpp		treecomparison.cpp
treecomparison.hh		treecomparison.hh
visualnode.cpp		visualnode.cpp
visualnode.hh		visualnode.hh
visualnode.hpp		visualnode.hpp
webscript.hh		webscript.hh
zoomToFitIcon.hpp		zoomToFitIcon.hpp

License

cmears/cp-profiler

Folders and files

Latest commit

History