package info (click to toggle)
cvc4 1.8-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 70,008 kB
  • sloc: cpp: 274,686; sh: 5,836; python: 1,894; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: theory

d .. (parent)
- - rw-r--r-- 909 CMakeLists.txt
- - rw-r--r-- 5,327 evaluator_white.h
- - rw-r--r-- 47,762 logic_info_white.h
- - rw-r--r-- 4,887 regexp_operation_black.h
- - rw-r--r-- 60,914 sequences_rewriter_white.h
- - rw-r--r-- 10,093 theory_arith_white.h
- - rw-r--r-- 5,143 theory_black.h
- - rw-r--r-- 2,920 theory_bv_rewriter_white.h
- - rw-r--r-- 3,622 theory_bv_white.h
- - rw-r--r-- 14,308 theory_engine_white.h
- - rw-r--r-- 17,590 theory_quantifiers_bv_instantiator_white.h
- - rw-r--r-- 36,949 theory_quantifiers_bv_inverter_white.h
- - rw-r--r-- 11,246 theory_sets_type_enumerator_white.h
- - rw-r--r-- 2,492 theory_strings_skolem_cache_black.h
- - rw-r--r-- 4,646 theory_strings_word_white.h
- - rw-r--r-- 8,828 theory_white.h
- - rw-r--r-- 13,281 type_enumerator_white.h