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	1976	log plain
-rw-r--r--	evaluator_white.cpp	4862	log plain
-rw-r--r--	logic_info_white.cpp	45129	log plain
-rw-r--r--	regexp_operation_black.cpp	4891	log plain
-rw-r--r--	sequences_rewriter_white.cpp	61656	log plain
-rw-r--r--	strings_rewriter_white.cpp	1753	log plain
-rw-r--r--	theory_arith_white.cpp	3866	log plain
-rw-r--r--	theory_bags_normal_form_white.cpp	22997	log plain
-rw-r--r--	theory_bags_rewriter_white.cpp	31555	log plain
-rw-r--r--	theory_bags_type_rules_white.cpp	4075	log plain
-rw-r--r--	theory_black.cpp	4727	log plain
-rw-r--r--	theory_bv_int_blaster_white.cpp	1215	log plain
-rw-r--r--	theory_bv_opt_white.cpp	5505	log plain
-rw-r--r--	theory_bv_rewriter_white.cpp	2449	log plain
-rw-r--r--	theory_bv_white.cpp	3325	log plain
-rw-r--r--	theory_engine_white.cpp	6586	log plain
-rw-r--r--	theory_int_opt_white.cpp	5084	log plain
-rw-r--r--	theory_quantifiers_bv_instantiator_white.cpp	16559	log plain
-rw-r--r--	theory_quantifiers_bv_inverter_white.cpp	45324	log plain
-rw-r--r--	theory_sets_type_enumerator_white.cpp	4878	log plain
-rw-r--r--	theory_sets_type_rules_white.cpp	3131	log plain
-rw-r--r--	theory_strings_skolem_cache_black.cpp	1984	log plain
-rw-r--r--	theory_strings_word_white.cpp	4068	log plain
-rw-r--r--	theory_white.cpp	3470	log plain
-rw-r--r--	type_enumerator_white.cpp	13651	log plain