package info (click to toggle)
gringo 5.4.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 17,164 kB
  • sloc: cpp: 138,274; python: 1,611; ansic: 1,381; yacc: 891; sh: 184; xml: 182; makefile: 31

Folder: 5.4.0-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 113 app
d d rwxr-xr-x 4,096 clasp
d d rwxr-xr-x 149 cmake
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 37 doc
d d rwxr-xr-x 85 examples
d d rwxr-xr-x 121 libclingo
d d rwxr-xr-x 96 libgringo
d d rwxr-xr-x 80 libluaclingo
d d rwxr-xr-x 78 libpyclingo
d d rwxr-xr-x 81 libreify
- - rw-r--r-- 264 .gitignore
- - rw-r--r-- 10,974 CHANGES.md
- - rw-r--r-- 9,706 CMakeLists.txt
- - rw-r--r-- 8,540 INSTALL.md
- - rw-r--r-- 1,080 LICENSE.md
- - rw-r--r-- 982 README.md
- - rw-r--r-- 2,002 clingo.1
- - rw-r--r-- 2,142 gringo.1
- - rw-r--r-- 1,790 lpconvert.1
- - rw-r--r-- 1,854 reify.1