MiniZincIDE
The MiniZinc IDE
파일 탐색기
최종 버전 다운로드 (.zip)- ci.yml
- doc_conductor1.png
- doc_ss_analysis.png
- doc_ss_analysis_hist.png
- doc_traditional_collapsed.png
- doc_traditional_interface.png
- connector.hpp
- message.hpp
- README.md
- merge_result.hh
- pentagon_list_widget.hh
- pentagon_rect.cpp
- pentagon_rect.hh
- histogram_scene.cpp
- histogram_scene.hh
- merge_window.cpp
- merge_window.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
- 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
- execution_test.cpp
- execution_test.hh
- tree_test.cpp
- tree_test.hh
- 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
- 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
- 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
- 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
- tree_builder.cpp
- tree_builder.hh
- user_data.cpp
- user_data.hh
- main_cpprofiler.cpp
- cp-profiler.pri
- cp-profiler.pro
- README.md
- about.html
- application-certificate.png
- applications-system.png
- coursera.png
- coursera@2x.png
- document-new.png
- document-open.png
- document-save.png
- edit-copy.png
- edit-cut.png
- edit-find-replace.png
- edit-paste.png
- edit-redo.png
- edit-undo.png
- folder.png
- format-indent-less.png
- format-indent-more.png
- media-playback-start.png
- media-playback-stop.png
- mznicon.png
- package-x-generic.png
- process-stop.png
- connector.js
- index.html
- CHANGES
- 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
- main.cpp
- mainwindow.cpp
- mainwindow.h
- mainwindow.ui
- MiniZincIDE.pri
- MiniZincIDE.pro
- minizincide.qrc
- moocsubmission.cpp
- moocsubmission.h
- moocsubmission.ui
- mznide-makefile.plist
- mznide-xcode.plist
- mznide.icns
- mznide.ico
- 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
- README.txt
- server.cpp
- server.h
- solver.cpp
- solver.h
- theme.cpp
- theme.h
- COMBINED_LICENSE.txt
- dmg-background.png
- entitlements.xml
- minizinc.desktop
- MiniZincIDE.desktop
- osx-gecode-qt.conf
- README
- win-gecode-qt.conf
- minizinc-bundle.iss
- snapcraft.yaml
- AppRun
- MiniZincIDE.sh
- icon.png
- README.md
- build_dmg.sh
- build_ide.sh
- fetch_minizinc.sh
- gen_dmg_background.py
- linux_build_env.sh
- package_ide.sh
- run_tests.sh
- n1.dzn
- n2.dzn
- submission.mzc
- submission.mzn
- _mooc
- TestProject.mzp
- n1.dzn
- n2.dzn
- submission.mzc
- submission.mzn
- _mooc
- TestTerms.mzp
- solver1.mpc
- solver2.mpc
- solver3.mpc
- data1.dzn
- data2.dzn
- 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
- .envrc
- .gitignore
- default.nix
- flake.lock
- flake.nix
- LICENSE.txt
- MiniZincIDE.pro
- README.md
- TODO.txt
// repository documentation
Was this content helpful?
(0 ratings)