package info (click to toggle)
minizinc-ide 2.5.3-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 2,764 kB
  • sloc: cpp: 20,833; sh: 59; makefile: 7

Folder: MiniZincIDE

d .. (parent)
d d rwxr-xr-x 4,096 images
- - rw-r--r-- 16,616 CHANGES
- - rw-r--r-- 2,230 MiniZincIDE.pro
- - rw-r--r-- 435 README.txt
- - rw-r--r-- 4,925 cheat_sheet.mzn
- - rw-r--r-- 288 checkupdatedialog.cpp
- - rw-r--r-- 338 checkupdatedialog.h
- - rw-r--r-- 7,186 checkupdatedialog.ui
- - rw-r--r-- 2,153 codechecker.cpp
- - rw-r--r-- 755 codechecker.h
- - rwxr-xr-x 28,328 codeeditor.cpp
- - rw-r--r-- 4,117 codeeditor.h
- - rw-r--r-- 30,110 configwindow.cpp
- - rw-r--r-- 5,888 configwindow.h
- - rw-r--r-- 29,294 configwindow.ui
- - rw-r--r-- 2,192 dark_mode.css
- - rw-r--r-- 617 elapsedtimer.cpp
- - rw-r--r-- 479 elapsedtimer.h
- - rw-r--r-- 265 esclineedit.cpp
- - rw-r--r-- 279 esclineedit.h
- - rw-r--r-- 2,016 exception.h
- - rw-r--r-- 3,860 extraparamdialog.cpp
- - rw-r--r-- 1,246 extraparamdialog.h
- - rw-r--r-- 2,260 extraparamdialog.ui
- - rw-r--r-- 383 fzndoc.cpp
- - rw-r--r-- 670 fzndoc.h
- - rw-r--r-- 655 gotolinedialog.cpp
- - rw-r--r-- 647 gotolinedialog.h
- - rw-r--r-- 1,825 gotolinedialog.ui
- - rw-r--r-- 13,379 highlighter.cpp
- - rw-r--r-- 9,589 highlighter.h
- - rwxr-xr-x 3,097 htmlpage.cpp
- - rw-r--r-- 1,133 htmlpage.h
- - rwxr-xr-x 2,430 htmlwindow.cpp
- - rw-r--r-- 1,355 htmlwindow.h
- - rw-r--r-- 824 htmlwindow.ui
- - rw-r--r-- 22,217 ide.cpp
- - rw-r--r-- 2,685 ide.h
- - rw-r--r-- 896 macos_extras.h
- - rw-r--r-- 2,577 macos_extras.mm
- - rw-r--r-- 939 main.cpp
- - rwxr-xr-x 100,266 mainwindow.cpp
- - rwxr-xr-x 10,523 mainwindow.h
- - rwxr-xr-x 34,971 mainwindow.ui
- - rw-r--r-- 1,220 minizincide.qrc
- - rw-r--r-- 15,066 moocsubmission.cpp
- - rw-r--r-- 2,042 moocsubmission.h
- - rw-r--r-- 6,982 moocsubmission.ui
- - rw-r--r-- 3,686 mznide-makefile.plist
- - rw-r--r-- 3,706 mznide-xcode.plist
- - rw-r--r-- 54,870 mznide.icns
- - rw-r--r-- 370,070 mznide.ico
- - rw-r--r-- 208 outputdockwidget.cpp
- - rw-r--r-- 340 outputdockwidget.h
- - rw-r--r-- 4,399 paramdialog.cpp
- - rw-r--r-- 1,054 paramdialog.h
- - rw-r--r-- 1,740 paramdialog.ui
- - rw-r--r-- 16,806 process.cpp
- - rw-r--r-- 10,258 process.h
- - rw-r--r-- 15,919 project.cpp
- - rw-r--r-- 7,280 project.h
- - rw-r--r-- 3,434 projectbrowser.cpp
- - rw-r--r-- 1,113 projectbrowser.h
- - rw-r--r-- 1,309 projectbrowser.ui
- - rw-r--r-- 17,341 solverconfiguration.cpp
- - rw-r--r-- 2,205 solverconfiguration.h
- - rwxr-xr-x 25,816 solverdialog.cpp
- - rwxr-xr-x 2,615 solverdialog.h
- - rw-r--r-- 19,915 solverdialog.ui