gitextract_jgwfs6f5/

├── .envrc
├── .gitignore
├── .gitlab-ci.yml
├── LICENSE.txt
├── MiniZincIDE/
│   ├── CHANGES
│   ├── MiniZincIDE.pri
│   ├── MiniZincIDE.pro
│   ├── README.txt
│   ├── cheat_sheet.mzn
│   ├── checkupdatedialog.cpp
│   ├── checkupdatedialog.h
│   ├── checkupdatedialog.ui
│   ├── codechecker.cpp
│   ├── codechecker.h
│   ├── codeeditor.cpp
│   ├── codeeditor.h
│   ├── configwindow.cpp
│   ├── configwindow.h
│   ├── configwindow.ui
│   ├── dark_mode.css
│   ├── darkmodenotifier.cpp
│   ├── darkmodenotifier.h
│   ├── darkmodenotifier_macos.mm
│   ├── elapsedtimer.cpp
│   ├── elapsedtimer.h
│   ├── esclineedit.cpp
│   ├── esclineedit.h
│   ├── exception.h
│   ├── extraparamdialog.cpp
│   ├── extraparamdialog.h
│   ├── extraparamdialog.ui
│   ├── fzndoc.cpp
│   ├── fzndoc.h
│   ├── gotolinedialog.cpp
│   ├── gotolinedialog.h
│   ├── gotolinedialog.ui
│   ├── highlighter.cpp
│   ├── highlighter.h
│   ├── history.cpp
│   ├── history.h
│   ├── ide.cpp
│   ├── ide.h
│   ├── ideutils.cpp
│   ├── ideutils.h
│   ├── images/
│   │   └── about.html
│   ├── main.cpp
│   ├── mainwindow.cpp
│   ├── mainwindow.h
│   ├── mainwindow.ui
│   ├── minizincide.qrc
│   ├── moocsubmission.cpp
│   ├── moocsubmission.h
│   ├── moocsubmission.ui
│   ├── mznide-makefile.plist
│   ├── mznide-xcode.plist
│   ├── mznide.icns
│   ├── outputdockwidget.cpp
│   ├── outputdockwidget.h
│   ├── outputwidget.cpp
│   ├── outputwidget.h
│   ├── outputwidget.ui
│   ├── paramdialog.cpp
│   ├── paramdialog.h
│   ├── paramdialog.ui
│   ├── preferencesdialog.cpp
│   ├── preferencesdialog.h
│   ├── preferencesdialog.ui
│   ├── process.cpp
│   ├── process.h
│   ├── profilecompilation.cpp
│   ├── profilecompilation.h
│   ├── project.cpp
│   ├── project.h
│   ├── projectbrowser.cpp
│   ├── projectbrowser.h
│   ├── projectbrowser.ui
│   ├── server/
│   │   ├── connector.js
│   │   └── index.html
│   ├── server.cpp
│   ├── server.h
│   ├── solver.cpp
│   ├── solver.h
│   ├── theme.cpp
│   └── theme.h
├── MiniZincIDE.pro
├── README.md
├── TODO.txt
├── cp-profiler/
│   ├── README.md
│   ├── cp-profiler.pri
│   ├── cp-profiler.pro
│   └── src/
│       ├── cpp-integration/
│       │   ├── README.md
│       │   ├── connector.hpp
│       │   └── message.hpp
│       ├── cpprofiler/
│       │   ├── analysis/
│       │   │   ├── histogram_scene.cpp
│       │   │   ├── histogram_scene.hh
│       │   │   ├── merge_window.cpp
│       │   │   ├── merge_window.hh
│       │   │   ├── merging/
│       │   │   │   ├── merge_result.hh
│       │   │   │   ├── pentagon_list_widget.hh
│       │   │   │   ├── pentagon_rect.cpp
│       │   │   │   └── pentagon_rect.hh
│       │   │   ├── nogood_analysis_dialog.hh
│       │   │   ├── path_comp.cpp
│       │   │   ├── path_comp.hh
│       │   │   ├── pattern_rect.cpp
│       │   │   ├── pattern_rect.hh
│       │   │   ├── pentagon_counter.hpp
│       │   │   ├── similar_subtree_analysis.cpp
│       │   │   ├── similar_subtree_analysis.hh
│       │   │   ├── similar_subtree_window.cpp
│       │   │   ├── similar_subtree_window.hh
│       │   │   ├── subtree_pattern.hh
│       │   │   ├── tree_merger.cpp
│       │   │   └── tree_merger.hh
│       │   ├── command_line_parser.cpp
│       │   ├── command_line_parser.hh
│       │   ├── conductor.cpp
│       │   ├── conductor.hh
│       │   ├── config.hh
│       │   ├── core.cpp
│       │   ├── core.hh
│       │   ├── db_handler.cpp
│       │   ├── db_handler.hh
│       │   ├── execution.cpp
│       │   ├── execution.hh
│       │   ├── execution_list.cpp
│       │   ├── execution_list.hh
│       │   ├── execution_window.cpp
│       │   ├── execution_window.hh
│       │   ├── message_wrapper.hh
│       │   ├── name_map.cpp
│       │   ├── name_map.hh
│       │   ├── nogood_dialog.cpp
│       │   ├── nogood_dialog.hh
│       │   ├── options.hh
│       │   ├── pixel_views/
│       │   │   ├── icicle_canvas.cpp
│       │   │   ├── icicle_canvas.hh
│       │   │   ├── pixel_image.cpp
│       │   │   ├── pixel_image.hh
│       │   │   ├── pixel_item.hh
│       │   │   ├── pixel_widget.cpp
│       │   │   ├── pixel_widget.hh
│       │   │   ├── pt_canvas.cpp
│       │   │   └── pt_canvas.hh
│       │   ├── receiver_thread.cpp
│       │   ├── receiver_thread.hh
│       │   ├── receiver_worker.cpp
│       │   ├── receiver_worker.hh
│       │   ├── settings.hh
│       │   ├── solver_data.cpp
│       │   ├── solver_data.hh
│       │   ├── solver_id.hh
│       │   ├── stats_bar.hpp
│       │   ├── tcp_server.cpp
│       │   ├── tcp_server.hh
│       │   ├── tests/
│       │   │   ├── execution_test.cpp
│       │   │   ├── execution_test.hh
│       │   │   ├── tree_test.cpp
│       │   │   └── tree_test.hh
│       │   ├── tree/
│       │   │   ├── cursors/
│       │   │   │   ├── drawing_cursor.cpp
│       │   │   │   ├── drawing_cursor.hh
│       │   │   │   ├── hide_failed_cursor.cpp
│       │   │   │   ├── hide_failed_cursor.hh
│       │   │   │   ├── hide_not_highlighted_cursor.cpp
│       │   │   │   ├── hide_not_highlighted_cursor.hh
│       │   │   │   ├── layout_cursor.cpp
│       │   │   │   ├── layout_cursor.hh
│       │   │   │   ├── node_cursor.cpp
│       │   │   │   ├── node_cursor.hh
│       │   │   │   ├── nodevisitor.hh
│       │   │   │   └── nodevisitor.hpp
│       │   │   ├── layout.cpp
│       │   │   ├── layout.hh
│       │   │   ├── layout_computer.cpp
│       │   │   ├── layout_computer.hh
│       │   │   ├── node.cpp
│       │   │   ├── node.hh
│       │   │   ├── node_drawing.cpp
│       │   │   ├── node_drawing.hh
│       │   │   ├── node_id.cpp
│       │   │   ├── node_id.hh
│       │   │   ├── node_info.cpp
│       │   │   ├── node_info.hh
│       │   │   ├── node_stats.hh
│       │   │   ├── node_tree.cpp
│       │   │   ├── node_tree.hh
│       │   │   ├── node_widget.hh
│       │   │   ├── shape.cpp
│       │   │   ├── shape.hh
│       │   │   ├── structure.cpp
│       │   │   ├── structure.hh
│       │   │   ├── subtree_view.hh
│       │   │   ├── traditional_view.cpp
│       │   │   ├── traditional_view.hh
│       │   │   ├── tree_scroll_area.cpp
│       │   │   ├── tree_scroll_area.hh
│       │   │   ├── visual_flags.cpp
│       │   │   └── visual_flags.hh
│       │   ├── tree_builder.cpp
│       │   ├── tree_builder.hh
│       │   ├── user_data.cpp
│       │   ├── user_data.hh
│       │   └── utils/
│       │       ├── array.cpp
│       │       ├── array.hh
│       │       ├── debug.hh
│       │       ├── debug_mutex.hh
│       │       ├── maybe_caller.cpp
│       │       ├── maybe_caller.hh
│       │       ├── path_utils.cpp
│       │       ├── path_utils.hh
│       │       ├── perf_helper.cpp
│       │       ├── perf_helper.hh
│       │       ├── std_ext.cpp
│       │       ├── std_ext.hh
│       │       ├── string_utils.cpp
│       │       ├── string_utils.hh
│       │       ├── tree_utils.cpp
│       │       ├── tree_utils.hh
│       │       ├── utils.cpp
│       │       └── utils.hh
│       └── main_cpprofiler.cpp
├── default.nix
├── flake.nix
├── resources/
│   ├── README.md
│   ├── misc/
│   │   ├── COMBINED_LICENSE.txt
│   │   ├── MiniZincIDE.desktop
│   │   ├── README
│   │   ├── entitlements.xml
│   │   ├── minizinc.desktop
│   │   ├── osx-gecode-qt.conf
│   │   └── win-gecode-qt.conf
│   ├── pkg_config/
│   │   ├── Dockerfile
│   │   ├── minizinc-bundle.iss
│   │   └── snapcraft.yaml
│   └── scripts/
│       ├── AppRun
│       └── MiniZincIDE.sh
└── tests/
    ├── data/
    │   ├── mooc/
    │   │   ├── TestProject/
    │   │   │   ├── TestProject.mzp
    │   │   │   ├── _mooc
    │   │   │   ├── data/
    │   │   │   │   ├── n1.dzn
    │   │   │   │   └── n2.dzn
    │   │   │   └── models/
    │   │   │       ├── submission.mzc
    │   │   │       └── submission.mzn
    │   │   └── TestTerms/
    │   │       ├── TestTerms.mzp
    │   │       ├── _mooc
    │   │       ├── data/
    │   │       │   ├── n1.dzn
    │   │       │   └── n2.dzn
    │   │       └── models/
    │   │           ├── submission.mzc
    │   │           └── submission.mzn
    │   └── project/
    │       ├── configs/
    │       │   ├── solver1.mpc
    │       │   ├── solver2.mpc
    │       │   └── solver3.mpc
    │       ├── data/
    │       │   ├── data1.dzn
    │       │   └── data2.dzn
    │       ├── models/
    │       │   ├── model1.mzn
    │       │   └── model2.mzn
    │       ├── project-105-bad.mzp
    │       ├── project-105-good.mzp
    │       ├── project-106-bad.mzp
    │       └── project-106-good.mzp
    ├── testcpprofier.cpp
    ├── testdiff.cpp
    ├── testeditor.cpp
    ├── testide.cpp
    ├── testide.h
    ├── testmooc.cpp
    ├── testproject.cpp
    └── tests.pro