package info (click to toggle)
cvc5 1.3.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 87,260 kB
  • sloc: cpp: 383,850; java: 12,207; python: 12,090; sh: 5,679; ansic: 4,729; lisp: 763; perl: 208; makefile: 38

Folder: contrib

d .. (parent)
d d rwxr-xr-x 102 cibw
d d rwxr-xr-x 65 competitions
- - rw-r--r-- 163 README
- - rw-r--r-- 5,182 cvc-devel.el
- - rw-r--r-- 25,000 cvc-mode.el
- - rw-r--r-- 332 cvc5_strict_smtlib
- - rwxr-xr-x 2,880 get-authors
- - rwxr-xr-x 2,224 get-carcara-checker
- - rwxr-xr-x 468 get-drat2er
- - rwxr-xr-x 2,416 get-ethos-checker
- - rwxr-xr-x 3,530 get-lfsc-checker
- - rw-r--r-- 2,407 get-script-header.sh
- - rw-r--r-- 1,480 install-rare-rewrites
- - rwxr-xr-x 6,875 learn_resource_weights.py
- - rwxr-xr-x 3,725 make-release.py
- - rwxr-xr-x 1,501 uncovered-api-functions.py
- - rwxr-xr-x 8,685 update-copyright.pl