data/minizinc-ide-2.5.2/.gitignore: ASCII text data/minizinc-ide-2.5.2/.gitlab-ci.yml: ASCII text, with very long lines data/minizinc-ide-2.5.2/.gitmodules: ASCII text data/minizinc-ide-2.5.2/LICENSE.txt: ASCII text data/minizinc-ide-2.5.2/MiniZincIDE.pro: automake makefile script, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/CHANGES: ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/README.txt: ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/cheat_sheet.mzn: ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/checkupdatedialog.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/checkupdatedialog.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/checkupdatedialog.ui: XML 1.0 document, ASCII text, with very long lines data/minizinc-ide-2.5.2/MiniZincIDE/codechecker.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/codechecker.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/codeeditor.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/codeeditor.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/configwindow.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/configwindow.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/configwindow.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/dark_mode.css: ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/elapsedtimer.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/elapsedtimer.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/esclineedit.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/esclineedit.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/exception.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/extraparamdialog.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/extraparamdialog.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/extraparamdialog.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/fzndoc.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/fzndoc.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/gotolinedialog.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/gotolinedialog.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/gotolinedialog.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/highlighter.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/highlighter.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/htmlpage.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/htmlpage.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/htmlwindow.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/htmlwindow.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/htmlwindow.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/ide.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/ide.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/images/about.html: HTML document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/images/application-certificate.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/applications-system.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/coursera.png: PNG image data, 451 x 451, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/coursera@2x.png: PNG image data, 451 x 451, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/document-new.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/document-open.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/document-save.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/edit-copy.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/edit-cut.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/edit-find-replace.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/edit-paste.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/edit-redo.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/edit-undo.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/folder.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/format-indent-less.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/format-indent-more.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/media-playback-start.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/media-playback-stop.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/mznicon.png: PNG image data, 880 x 879, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/package-x-generic.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/images/process-stop.png: PNG image data, 200 x 200, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/MiniZincIDE/macos_extras.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/macos_extras.mm: Objective-C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/main.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/mainwindow.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/mainwindow.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/mainwindow.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/minizincide.qrc: ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/moocsubmission.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/moocsubmission.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/moocsubmission.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/mznide-makefile.plist: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/mznide-xcode.plist: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/mznide.icns: Mac OS X icon, 54870 bytes, "ic07" type data/minizinc-ide-2.5.2/MiniZincIDE/mznide.ico: MS Windows icon resource - 6 icons, 16x16, 32 bits/pixel, 32x32, 32 bits/pixel data/minizinc-ide-2.5.2/MiniZincIDE/outputdockwidget.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/outputdockwidget.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/paramdialog.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/paramdialog.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/paramdialog.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/process.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/process.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/project.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/project.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/projectbrowser.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/projectbrowser.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/projectbrowser.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/solverconfiguration.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/solverconfiguration.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/solverdialog.cpp: C source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/solverdialog.h: C++ source, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/solverdialog.ui: XML 1.0 document, ASCII text data/minizinc-ide-2.5.2/MiniZincIDE/MiniZincIDE.pro: ASCII text data/minizinc-ide-2.5.2/TODO.txt: ASCII text data/minizinc-ide-2.5.2/cp-profiler/README.md: UTF-8 Unicode text, with very long lines data/minizinc-ide-2.5.2/cp-profiler/cp-profiler.pri: ASCII text data/minizinc-ide-2.5.2/cp-profiler/cp-profiler.pro: ASCII text data/minizinc-ide-2.5.2/cp-profiler/docs/images/doc_conductor1.png: PNG image data, 289 x 388, 8-bit/color RGB, non-interlaced data/minizinc-ide-2.5.2/cp-profiler/docs/images/doc_ss_analysis.png: PNG image data, 723 x 536, 8-bit/color RGB, non-interlaced data/minizinc-ide-2.5.2/cp-profiler/docs/images/doc_ss_analysis_hist.png: PNG image data, 901 x 381, 8-bit/color RGB, non-interlaced data/minizinc-ide-2.5.2/cp-profiler/docs/images/doc_traditional_collapsed.png: PNG image data, 633 x 455, 8-bit/color RGB, non-interlaced data/minizinc-ide-2.5.2/cp-profiler/docs/images/doc_traditional_interface.png: PNG image data, 1019 x 361, 8-bit/color RGB, non-interlaced data/minizinc-ide-2.5.2/cp-profiler/src/cpp-integration/connector.hpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpp-integration/message.hpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/histogram_scene.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/histogram_scene.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/merge_window.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/merge_window.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/merging/merge_result.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/merging/pentagon_list_widget.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/merging/pentagon_rect.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/merging/pentagon_rect.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/nogood_analysis_dialog.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/path_comp.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/path_comp.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/pattern_rect.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/pattern_rect.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/pentagon_counter.hpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/similar_subtree_analysis.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/similar_subtree_analysis.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/similar_subtree_window.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/similar_subtree_window.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/subtree_pattern.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/tree_merger.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/analysis/tree_merger.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/command_line_parser.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/command_line_parser.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/conductor.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/conductor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/config.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/core.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/core.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/db_handler.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/db_handler.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/execution.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/execution.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/execution_list.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/execution_list.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/execution_window.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/execution_window.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/name_map.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/name_map.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/nogood_dialog.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/nogood_dialog.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/options.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/icicle_canvas.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/icicle_canvas.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pixel_image.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pixel_image.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pixel_item.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pixel_widget.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pixel_widget.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pt_canvas.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/pixel_views/pt_canvas.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/receiver_thread.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/receiver_thread.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/receiver_worker.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/receiver_worker.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/settings.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/solver_data.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/solver_data.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/solver_id.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/stats_bar.hpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tcp_server.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tcp_server.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tests/execution_test.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tests/execution_test.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tests/tree_test.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tests/tree_test.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/drawing_cursor.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/drawing_cursor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/hide_failed_cursor.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/hide_failed_cursor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/hide_not_highlighted_cursor.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/hide_not_highlighted_cursor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/layout_cursor.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/layout_cursor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/node_cursor.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/node_cursor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/nodevisitor.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/cursors/nodevisitor.hpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/layout.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/layout.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/layout_computer.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/layout_computer.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_drawing.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_drawing.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_id.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_id.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_info.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_info.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_stats.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_tree.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_tree.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/node_widget.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/shape.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/shape.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/structure.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/structure.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/subtree_view.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/traditional_view.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/traditional_view.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/tree_scroll_area.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/tree_scroll_area.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/visual_flags.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree/visual_flags.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree_builder.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/tree_builder.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/user_data.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/user_data.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/array.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/array.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/debug.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/debug_mutex.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/maybe_caller.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/maybe_caller.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/path_utils.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/path_utils.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/perf_helper.cpp: C source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/perf_helper.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/std_ext.cpp: C source, ASCII text, with no line terminators data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/std_ext.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/string_utils.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/string_utils.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/tree_utils.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/tree_utils.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/utils.cpp: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/cpprofiler/utils/utils.hh: C++ source, ASCII text data/minizinc-ide-2.5.2/cp-profiler/src/main_cpprofiler.cpp: C source, ASCII text data/minizinc-ide-2.5.2/resources/README.md: ASCII text data/minizinc-ide-2.5.2/resources/icon.png: PNG image data, 256 x 256, 8-bit/color RGBA, non-interlaced data/minizinc-ide-2.5.2/resources/misc/COMBINED_LICENSE.txt: ASCII text, with CRLF line terminators data/minizinc-ide-2.5.2/resources/misc/MiniZincIDE.desktop: ASCII text data/minizinc-ide-2.5.2/resources/misc/README: ASCII text data/minizinc-ide-2.5.2/resources/misc/minizinc.desktop: ASCII text data/minizinc-ide-2.5.2/resources/misc/osx-gecode-qt.conf: ASCII text data/minizinc-ide-2.5.2/resources/misc/win-gecode-qt.conf: ASCII text data/minizinc-ide-2.5.2/resources/pkg_config/Dockerfile: ASCII text data/minizinc-ide-2.5.2/resources/pkg_config/minizinc-bundle.iss: ASCII text data/minizinc-ide-2.5.2/resources/pkg_config/snapcraft.yaml: ASCII text data/minizinc-ide-2.5.2/resources/scripts/AppRun: POSIX shell script, ASCII text executable data/minizinc-ide-2.5.2/resources/scripts/MiniZincIDE.sh: POSIX shell script, ASCII text executable data/minizinc-ide-2.5.2/resources/scripts/run-fzn-gecode-gist: Bourne-Again shell script, ASCII text executable data/minizinc-ide-2.5.2/resources/scripts/run-fzn-gecode-gist.bat: DOS batch file, ASCII text data/minizinc-ide-2.5.2/resources/solvers/findmus.msc: ASCII text data/minizinc-ide-2.5.2/resources/solvers/gecode-gist.msc: ASCII text data/minizinc-ide-2.5.2/resources/solvers/gecode.msc: ASCII text data/minizinc-ide-2.5.2/resources/solvers/globalizer.msc: ASCII text data/minizinc-ide-2.5.2/debian/changelog: ASCII text data/minizinc-ide-2.5.2/debian/compat: ASCII text data/minizinc-ide-2.5.2/debian/control: ASCII text data/minizinc-ide-2.5.2/debian/copyright: ASCII text data/minizinc-ide-2.5.2/debian/dirs: ASCII text data/minizinc-ide-2.5.2/debian/fzn-gecode-gist: POSIX shell script, ASCII text executable data/minizinc-ide-2.5.2/debian/minizinc-ide.desktop: ASCII text data/minizinc-ide-2.5.2/debian/minizinc-ide.install: ASCII text data/minizinc-ide-2.5.2/debian/minizinc.xpm: X pixmap image, ASCII text data/minizinc-ide-2.5.2/debian/patches/missing-cpp-integration: unified diff output, ASCII text data/minizinc-ide-2.5.2/debian/patches/no-install-bin: unified diff output, ASCII text data/minizinc-ide-2.5.2/debian/patches/series: ASCII text data/minizinc-ide-2.5.2/debian/rules: a /usr/bin/make -f script, ASCII text executable data/minizinc-ide-2.5.2/debian/source/format: ASCII text data/minizinc-ide-2.5.2/.pc/.version: ASCII text data/minizinc-ide-2.5.2/.pc/.quilt_patches: ASCII text data/minizinc-ide-2.5.2/.pc/.quilt_series: ASCII text data/minizinc-ide-2.5.2/.pc/applied-patches: ASCII text data/minizinc-ide-2.5.2/.pc/no-install-bin/MiniZincIDE/MiniZincIDE.pro: ASCII text data/minizinc-ide-2.5.2/.pc/missing-cpp-integration/cp-profiler/src/cpp-integration/connector.hpp: empty data/minizinc-ide-2.5.2/.pc/missing-cpp-integration/cp-profiler/src/cpp-integration/message.hpp: empty