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	1741	log plain
-rw-r--r--	evaluator_white.cpp	4853	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	1792	log plain
-rw-r--r--	theory_arith_white.cpp	3859	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_int_blaster_white.cpp	1267	log plain
-rw-r--r--	theory_bv_rewriter_white.cpp	2493	log plain
-rw-r--r--	theory_bv_white.cpp	3316	log plain
-rw-r--r--	theory_engine_white.cpp	6631	log plain
-rw-r--r--	theory_int_opt_white.cpp	4125	log plain
-rw-r--r--	theory_quantifiers_bv_instantiator_white.cpp	16665	log plain
-rw-r--r--	theory_quantifiers_bv_inverter_white.cpp	45337	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.cpp	1938	log plain
-rw-r--r--	theory_strings_word_white.cpp	4066	log plain
-rw-r--r--	theory_white.cpp	3516	log plain
-rw-r--r--	type_enumerator_white.cpp	13720	log plain