package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • 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: proof

d .. (parent)
d d rwxr-xr-x 58 drat
d d rwxr-xr-x 54 er
d d rwxr-xr-x 58 lrat
- - rw-r--r-- 43,480 arith_proof.cpp
- - rw-r--r-- 6,870 arith_proof.h
- - rw-r--r-- 2,862 arith_proof_recorder.cpp
- - rw-r--r-- 3,687 arith_proof_recorder.h
- - rw-r--r-- 47,599 array_proof.cpp
- - rw-r--r-- 3,958 array_proof.h
- - rw-r--r-- 24,044 bitvector_proof.cpp
- - rw-r--r-- 9,695 bitvector_proof.h
- - rw-r--r-- 15,308 clausal_bitvector_proof.cpp
- - rw-r--r-- 5,941 clausal_bitvector_proof.h
- - rw-r--r-- 964 clause_id.h
- - rw-r--r-- 35,208 cnf_proof.cpp
- - rw-r--r-- 7,889 cnf_proof.h
- - rw-r--r-- 2,691 dimacs.cpp
- - rw-r--r-- 1,845 dimacs.h
- - rw-r--r-- 7,626 lemma_proof.cpp
- - rw-r--r-- 3,613 lemma_proof.h
- - rw-r--r-- 7,176 lfsc_proof_printer.cpp
- - rw-r--r-- 5,246 lfsc_proof_printer.h
- - rw-r--r-- 2,339 proof.h
- - rw-r--r-- 42,036 proof_manager.cpp
- - rw-r--r-- 11,403 proof_manager.h
- - rw-r--r-- 3,008 proof_output_channel.cpp
- - rw-r--r-- 2,280 proof_output_channel.h
- - rw-r--r-- 3,194 proof_utils.cpp
- - rw-r--r-- 5,269 proof_utils.h
- - rw-r--r-- 16,863 resolution_bitvector_proof.cpp
- - rw-r--r-- 3,496 resolution_bitvector_proof.h
- - rw-r--r-- 11,548 sat_proof.h
- - rw-r--r-- 34,456 sat_proof_implementation.h
- - rw-r--r-- 6,929 simplify_boolean_node.cpp
- - rw-r--r-- 838 simplify_boolean_node.h
- - rw-r--r-- 2,352 skolemization_manager.cpp
- - rw-r--r-- 1,542 skolemization_manager.h
- - rw-r--r-- 60,731 theory_proof.cpp
- - rw-r--r-- 17,122 theory_proof.h
- - rw-r--r-- 27,202 uf_proof.cpp
- - rw-r--r-- 3,462 uf_proof.h
- - rw-r--r-- 1,459 unsat_core.cpp
- - rw-r--r-- 1,920 unsat_core.h
- - rw-r--r-- 1,589 unsat_core.i