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: 2.8.5-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 153 | .pc |
|
d | rwxr-xr-x | 4,096 | MiniZincIDE |
|
d | rwxr-xr-x | 111 | cp-profiler |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 103 | resources |
|
d | rwxr-xr-x | 4,096 | tests |
 |
- | rw-r--r-- | 9 | .envrc |
|
- | rw-r--r-- | 18 | .gitignore |
|
- | rw-r--r-- | 27,141 | .gitlab-ci.yml |
|
- | rw-r--r-- | 16,726 | LICENSE.txt |
|
- | rw-r--r-- | 126 | MiniZincIDE.pro |
|
- | rw-r--r-- | 2,204 | README.md |
|
- | rw-r--r-- | 1,426 | TODO.txt |
|
- | rw-r--r-- | 1,173 | default.nix |
|
- | rw-r--r-- | 1,497 | flake.lock |
|
- | rw-r--r-- | 914 | flake.nix |