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: contrib

d .. (parent)
d d rwxr-xr-x 51 docker
d d rwxr-xr-x 78 macos_patches
d d rwxr-xr-x 111 windows_patches
- - rwxr-xr-x 6,229 btorcheckmodel.py
- - rwxr-xr-x 1,214 btorcheckmodelsmt2.sh
- - rwxr-xr-x 378 btorops.sh
- - rwxr-xr-x 1,636 build-and-test-all-configurations.sh
- - rwxr-xr-x 5,401 check-traces.py
- - rwxr-xr-x 2,285 ddcrossboolector
- - rwxr-xr-x 18,002 ddmbt.py
- - rw-r--r-- 866 fix_cython_windows.sh
- - rw-r--r-- 3,275 poolector.py
- - rwxr-xr-x 2,523 runparbtormbt
- - rwxr-xr-x 430 setup-all.sh
- - rwxr-xr-x 953 setup-btor2tools.sh
- - rwxr-xr-x 1,822 setup-cadical.sh
- - rwxr-xr-x 619 setup-cms.sh
- - rwxr-xr-x 1,193 setup-lingeling.sh
- - rwxr-xr-x 536 setup-minisat.sh
- - rwxr-xr-x 906 setup-picosat.sh
- - rw-r--r-- 3,327 setup-utils.sh
- - rwxr-xr-x 1,406 testprintmodelsmt2.sh