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

d .. (parent)
d d rwxr-xr-x 4,096 arith
d d rwxr-xr-x 4,096 arrays
d d rwxr-xr-x 4,096 booleans
d d rwxr-xr-x 4,096 builtin
d d rwxr-xr-x 4,096 bv
d d rwxr-xr-x 4,096 datatypes
d d rwxr-xr-x 104 example
d d rwxr-xr-x 4,096 fp
d d rwxr-xr-x 4,096 quantifiers
d d rwxr-xr-x 4,096 sep
d d rwxr-xr-x 4,096 sets
d d rwxr-xr-x 4,096 strings
d d rwxr-xr-x 4,096 uf
- - rw-r--r-- 1,173 CMakeLists.txt
- - rw-r--r-- 795 assertion.cpp
- - rw-r--r-- 1,551 assertion.h
- - rw-r--r-- 2,598 atom_requests.cpp
- - rw-r--r-- 3,128 atom_requests.h
- - rw-r--r-- 1,665 care_graph.h
- - rw-r--r-- 3,407 decision_manager.cpp
- - rw-r--r-- 5,741 decision_manager.h
- - rw-r--r-- 3,990 decision_strategy.cpp
- - rw-r--r-- 4,922 decision_strategy.h
- - rw-r--r-- 3,598 eager_proof_generator.cpp
- - rw-r--r-- 6,772 eager_proof_generator.h
- - rw-r--r-- 10,120 engine_output_channel.cpp
- - rw-r--r-- 3,124 engine_output_channel.h
- - rw-r--r-- 27,383 evaluator.cpp
- - rw-r--r-- 4,826 evaluator.h
- - rw-r--r-- 15,445 ext_theory.cpp
- - rw-r--r-- 9,693 ext_theory.h
- - rw-r--r-- 1,613 interrupted.h
- - rw-r--r-- 20,917 logic_info.cpp
- - rw-r--r-- 9,243 logic_info.h
- - rw-r--r-- 593 logic_info.i
- - rwxr-xr-x 6,483 mkrewriter
- - rwxr-xr-x 10,487 mktheorytraits
- - rw-r--r-- 6,980 output_channel.h
- - rw-r--r-- 46,681 quantifiers_engine.cpp
- - rw-r--r-- 15,506 quantifiers_engine.h
- - rw-r--r-- 12,466 rep_set.cpp
- - rw-r--r-- 11,656 rep_set.h
- - rw-r--r-- 12,155 rewriter.cpp
- - rw-r--r-- 5,501 rewriter.h
- - rw-r--r-- 2,609 rewriter_attributes.h
- - rw-r--r-- 2,458 rewriter_tables_template.h
- - rw-r--r-- 9,110 shared_terms_database.cpp
- - rw-r--r-- 7,780 shared_terms_database.h
- - rw-r--r-- 4,740 smt_engine_subsolver.cpp
- - rw-r--r-- 4,413 smt_engine_subsolver.h
- - rw-r--r-- 31,162 sort_inference.cpp
- - rw-r--r-- 6,024 sort_inference.h
- - rw-r--r-- 13,290 subs_minimize.cpp
- - rw-r--r-- 3,465 subs_minimize.h
- - rw-r--r-- 8,861 substitutions.cpp
- - rw-r--r-- 5,553 substitutions.h
- - rw-r--r-- 12,009 term_registration_visitor.cpp
- - rw-r--r-- 4,063 term_registration_visitor.h
- - rw-r--r-- 12,881 theory.cpp
- - rw-r--r-- 29,671 theory.h
- - rw-r--r-- 72,636 theory_engine.cpp
- - rw-r--r-- 25,589 theory_engine.h
- - rw-r--r-- 2,505 theory_id.cpp
- - rw-r--r-- 1,576 theory_id.h
- - rw-r--r-- 67 theory_id.i
- - rw-r--r-- 25,210 theory_model.cpp
- - rw-r--r-- 19,294 theory_model.h
- - rw-r--r-- 48,053 theory_model_builder.cpp
- - rw-r--r-- 13,192 theory_model_builder.h
- - rw-r--r-- 7,153 theory_preprocessor.cpp
- - rw-r--r-- 2,498 theory_preprocessor.h
- - rw-r--r-- 2,854 theory_proof_step_buffer.cpp
- - rw-r--r-- 3,254 theory_proof_step_buffer.h
- - rw-r--r-- 1,489 theory_registrar.h
- - rw-r--r-- 2,650 theory_rewriter.h
- - rw-r--r-- 3,564 theory_test_utils.h
- - rw-r--r-- 1,363 theory_traits_template.h
- - rw-r--r-- 2,878 trust_node.cpp
- - rw-r--r-- 5,011 trust_node.h
- - rw-r--r-- 5,431 type_enumerator.h
- - rw-r--r-- 1,420 type_enumerator_template.cpp
- - rw-r--r-- 2,959 type_set.cpp
- - rw-r--r-- 2,806 type_set.h
- - rw-r--r-- 3,791 valuation.cpp
- - rw-r--r-- 4,793 valuation.h