package info (click to toggle)
minizinc 2.1.7+dfsg1-1
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 4,624 kB
  • sloc: cpp: 46,644; python: 1,255; ansic: 494; makefile: 14; sh: 14

Folder: 2.1.7+dfsg1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 130 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 40 doc
d d rwxr-xr-x 29 include
d d rwxr-xr-x 19 interfaces
d d rwxr-xr-x 4,096 lib
d d rwxr-xr-x 48 share
d d rwxr-xr-x 55 solvers
- - rw-r--r-- 265 .gitignore
- - rw-r--r-- 1,747 .gitlab-ci.yml
- - rw-r--r-- 682 BUILD.bat
- - rwxr-xr-x 792 BUILD.sh
- - rw-r--r-- 28,799 CHANGES.txt
- - rw-r--r-- 26,941 CMakeLists.txt
- - rw-r--r-- 2,509 INSTALL.txt
- - rw-r--r-- 17,099 LICENSE.txt
- - rw-r--r-- 3,726 README.txt
- - rw-r--r-- 989 README_MIP.txt
- - rw-r--r-- 1,152 md5_gen.cmake
- - rw-r--r-- 3,406 minizinc.cpp
- - rw-r--r-- 10,820 mzn2doc.cpp
- - rw-r--r-- 11,524 mzn2fzn_test.cpp
- - rw-r--r-- 6,151 solns2out.cpp