package info (click to toggle)
minizinc 2.0.14%2Bdfsg1-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 3,132 kB
  • ctags: 3,787
  • sloc: cpp: 29,468; ansic: 204; makefile: 11

Folder: 2.0.14+dfsg1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 131 .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 4,096 lib
d d rwxr-xr-x 48 share
- - rw-r--r-- 240 .gitignore
- - rw-r--r-- 19,544 CHANGES.txt
- - rw-r--r-- 10,133 CMakeLists.txt
- - rw-r--r-- 1,901 INSTALL.txt
- - rw-r--r-- 17,099 LICENSE.txt
- - rw-r--r-- 3,255 README.txt
- - rw-r--r-- 1,152 md5_gen.cmake
- - rw-r--r-- 10,528 mzn2doc.cpp
- - rw-r--r-- 20,013 mzn2fzn.cpp
- - rw-r--r-- 13,942 solns2out.cpp