package info (click to toggle)
minizinc-ide 2.8.5-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,036 kB
  • sloc: cpp: 24,522; javascript: 125; sh: 51; xml: 7; makefile: 7

Folder: MiniZincIDE

d .. (parent)
d d rwxr-xr-x 4,096 images
d d rwxr-xr-x 54 server
- - rw-r--r-- 21,681 CHANGES
- - rw-r--r-- 2,635 MiniZincIDE.pri
- - rw-r--r-- 115 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-- 1,980 codechecker.cpp
- - rw-r--r-- 755 codechecker.h
- - rwxr-xr-x 31,314 codeeditor.cpp
- - rw-r--r-- 4,537 codeeditor.h
- - rw-r--r-- 32,218 configwindow.cpp
- - rw-r--r-- 6,612 configwindow.h
- - rw-r--r-- 29,678 configwindow.ui
- - rw-r--r-- 3,275 dark_mode.css
- - rw-r--r-- 4,170 darkmodenotifier.cpp
- - rw-r--r-- 619 darkmodenotifier.h
- - rw-r--r-- 2,508 darkmodenotifier_macos.mm
- - rw-r--r-- 661 elapsedtimer.cpp
- - rw-r--r-- 479 elapsedtimer.h
- - rw-r--r-- 265 esclineedit.cpp
- - rw-r--r-- 279 esclineedit.h
- - rw-r--r-- 2,248 exception.h
- - rw-r--r-- 4,021 extraparamdialog.cpp
- - rw-r--r-- 1,306 extraparamdialog.h
- - rw-r--r-- 2,188 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,552 highlighter.cpp
- - rw-r--r-- 2,579 highlighter.h
- - rw-r--r-- 6,789 history.cpp
- - rw-r--r-- 2,290 history.h
- - rw-r--r-- 24,321 ide.cpp
- - rw-r--r-- 3,039 ide.h
- - rw-r--r-- 3,466 ideutils.cpp
- - rw-r--r-- 891 ideutils.h
- - rw-r--r-- 939 main.cpp
- - rw-r--r-- 113,458 mainwindow.cpp
- - rwxr-xr-x 10,084 mainwindow.h
- - rwxr-xr-x 34,259 mainwindow.ui
- - rw-r--r-- 1,350 minizincide.qrc
- - rw-r--r-- 19,403 moocsubmission.cpp
- - rw-r--r-- 2,428 moocsubmission.h
- - rw-r--r-- 10,183 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-- 38,118 outputwidget.cpp
- - rw-r--r-- 5,889 outputwidget.h
- - rw-r--r-- 4,006 outputwidget.ui
- - rw-r--r-- 4,707 paramdialog.cpp
- - rw-r--r-- 1,025 paramdialog.h
- - rw-r--r-- 1,740 paramdialog.ui
- - rw-r--r-- 35,249 preferencesdialog.cpp
- - rw-r--r-- 2,303 preferencesdialog.h
- - rw-r--r-- 33,178 preferencesdialog.ui
- - rw-r--r-- 19,784 process.cpp
- - rw-r--r-- 10,313 process.h
- - rw-r--r-- 1,275 profilecompilation.cpp
- - rw-r--r-- 1,350 profilecompilation.h
- - rw-r--r-- 16,352 project.cpp
- - rw-r--r-- 7,429 project.h
- - rw-r--r-- 3,537 projectbrowser.cpp
- - rw-r--r-- 1,139 projectbrowser.h
- - rw-r--r-- 1,309 projectbrowser.ui
- - rw-r--r-- 12,934 server.cpp
- - rw-r--r-- 2,367 server.h
- - rw-r--r-- 25,929 solver.cpp
- - rw-r--r-- 3,619 solver.h
- - rw-r--r-- 3,550 theme.cpp
- - rw-r--r-- 3,552 theme.h