package info (click to toggle)
cvc4 1.6-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 54,516 kB
  • sloc: cpp: 262,804; ansic: 126,172; sh: 7,163; java: 5,041; makefile: 2,953; python: 1,511; lisp: 763; perl: 47; ml: 37; ruby: 20; tcl: 18

Folder: 1.6-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 config
d d rwxr-xr-x 4,096 contrib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 4,096 examples
d d rwxr-xr-x 31 proofs
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 104 test
- - rw-r--r-- 2,140 AUTHORS
- - rw-r--r-- 5,913 COPYING
- - rw-r--r-- 11,848 INSTALL
- - rw-r--r-- 7,989 Makefile
- - rw-r--r-- 5,797 Makefile.am
- - rw-r--r-- 4,635 Makefile.builds.in
- - rw-r--r-- 51,496 Makefile.in
- - rw-r--r-- 1,439 Makefile.subdir
- - rw-r--r-- 7,374 NEWS
- - rw-r--r-- 4,720 README
- - rw-r--r-- 6,581 RELEASE-NOTES
- - rw-r--r-- 1,495 THANKS
- - rw-r--r-- 53,409 aclocal.m4
- - rwxr-xr-x 1,019,810 configure
- - rw-r--r-- 59,692 configure.ac
- - rw-r--r-- 4,079 cvc4autoconfig.h.in
- - rw-r--r-- 3,687 library_versions