package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: contrib

d .. (parent)
d d rwxr-xr-x 149 alttheoryskel
d d rwxr-xr-x 65 competitions
d d rwxr-xr-x 37 optionsskel
d d rwxr-xr-x 4,096 theoryskel
- - rw-r--r-- 163 README
- - rwxr-xr-x 10,158 cut-release
- - rw-r--r-- 5,182 cvc-devel.el
- - rw-r--r-- 25,000 cvc-mode.el
- - rw-r--r-- 324 cvc4_strict_smtlib
- - rwxr-xr-x 862 debug-keys
- - rwxr-xr-x 4,192 depgraph
- - rwxr-xr-x 749 dimacs_to_smt.pl
- - rwxr-xr-x 1,403 get-abc
- - rwxr-xr-x 3,892 get-antlr-3.4
- - rwxr-xr-x 2,384 get-authors
- - rwxr-xr-x 528 get-cadical
- - rwxr-xr-x 581 get-cryptominisat
- - rwxr-xr-x 497 get-drat2er
- - rwxr-xr-x 824 get-glpk-cut-log
- - rwxr-xr-x 1,717 get-gmp-dev
- - rwxr-xr-x 563 get-kissat
- - rwxr-xr-x 438 get-lfsc-checker
- - rw-r--r-- 2,242 get-script-header.sh
- - rwxr-xr-x 496 get-symfpu
- - rwxr-xr-x 3,679 get-win-dependencies
- - rw-r--r-- 366 lfsc_lsan.supp
- - rw-r--r-- 1,796 luby.c
- - rwxr-xr-x 346 mk_starexec
- - rwxr-xr-x 7,378 new-theory
- - rwxr-xr-x 236 new-theory.awk
- - rwxr-xr-x 659 spellcheck
- - rwxr-xr-x 675 sygus-v1-to-v2.sh
- - rwxr-xr-x 1,288 test_install_headers.sh
- - rwxr-xr-x 8,140 update-copyright.pl