package info (click to toggle)
boolector 3.2.4-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 20,744 kB
  • sloc: ansic: 83,136; cpp: 18,159; sh: 3,668; python: 2,889; makefile: 210

Folder: 3.2.4-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 cmake
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 98 examples
d d rwxr-xr-x 103 pypi
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 4,096 test
- - rw-r--r-- 1,311 AUTHORS
- - rw-r--r-- 14,957 CMakeLists.txt
- - rw-r--r-- 7,613 COMPILING_WINDOWS.md
- - rw-r--r-- 1,270 COPYING
- - rw-r--r-- 18,355 NEWS
- - rw-r--r-- 7,716 README.md
- - rw-r--r-- 836 THANKS
- - rw-r--r-- 3,038 azure-pipelines.yml
- - rwxr-xr-x 6,424 configure.sh