package info (click to toggle)
btor2tools 1.0.2~git20250507.fb69ee3-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 1,096 kB
  • sloc: ansic: 3,830; cpp: 3,390; sh: 240; makefile: 10

Folder: 1.0.2~git20250507.fb69ee3-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 134 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 49 examples
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 80 test
- - rw-r--r-- 566 .clang-format
- - rw-r--r-- 34 .gitignore
- - rw-r--r-- 379 AUTHORS
- - rw-r--r-- 3,662 CMakeLists.txt
- - rw-r--r-- 1,235 LICENSE.txt
- - rw-r--r-- 6,814 README.md
- - rw-r--r-- 6 VERSION
- - rwxr-xr-x 1,711 configure.sh
- - rwxr-xr-x 1,262 mksrcrelease.sh
- - rwxr-xr-x 473 setup-deps.sh