theory « unit « test - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	CMakeLists.txt	1631	log plain
-rw-r--r--	evaluator_white.cpp	4891	log plain
-rw-r--r--	logic_info_white.cpp	45165	log plain
-rw-r--r--	regexp_operation_black.cpp	4947	log plain
-rw-r--r--	sequences_rewriter_white.cpp	63083	log plain
-rw-r--r--	strings_rewriter_white.cpp	1811	log plain
-rw-r--r--	theory_arith_white.cpp	9849	log plain
-rw-r--r--	theory_bags_normal_form_white.cpp	22999	log plain
-rw-r--r--	theory_bags_rewriter_white.cpp	31431	log plain
-rw-r--r--	theory_bags_type_rules_white.cpp	4076	log plain
-rw-r--r--	theory_black.cpp	4753	log plain
-rw-r--r--	theory_bv_rewriter_white.cpp	2493	log plain
-rw-r--r--	theory_bv_white.cpp	3381	log plain
-rw-r--r--	theory_engine_white.cpp	8265	log plain
-rw-r--r--	theory_quantifiers_bv_instantiator_white.h	17584	log plain
-rw-r--r--	theory_quantifiers_bv_inverter_white.h	36948	log plain
-rw-r--r--	theory_sets_type_enumerator_white.cpp	4959	log plain
-rw-r--r--	theory_sets_type_rules_white.cpp	3132	log plain
-rw-r--r--	theory_strings_skolem_cache_black.h	2502	log plain
-rw-r--r--	theory_strings_word_white.h	4694	log plain
-rw-r--r--	theory_white.h	9224	log plain
-rw-r--r--	type_enumerator_white.cpp	13720	log plain