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

Mode	Name	Size
-rw-r--r--	infer_info.cpp	1508	log plain
-rw-r--r--	infer_info.h	5570	log plain
-rw-r--r--	inference_manager.cpp	17921	log plain
-rw-r--r--	inference_manager.h	14570	log plain
-rw-r--r--	kinds	4626	log plain
-rw-r--r--	normal_form.cpp	4980	log plain
-rw-r--r--	normal_form.h	6259	log plain
-rw-r--r--	regexp_elim.cpp	20610	log plain
-rw-r--r--	regexp_elim.h	1987	log plain
-rw-r--r--	regexp_operation.cpp	63184	log plain
-rw-r--r--	regexp_operation.h	5600	log plain
-rw-r--r--	regexp_solver.cpp	19522	log plain
-rw-r--r--	regexp_solver.h	5289	log plain
-rw-r--r--	skolem_cache.cpp	5482	log plain
-rw-r--r--	skolem_cache.h	6277	log plain
-rw-r--r--	solver_state.cpp	8970	log plain
-rw-r--r--	solver_state.h	7944	log plain
-rw-r--r--	theory_strings.cpp	174675	log plain
-rw-r--r--	theory_strings.h	37926	log plain
-rw-r--r--	theory_strings_preprocess.cpp	26784	log plain
-rw-r--r--	theory_strings_preprocess.h	2918	log plain
-rw-r--r--	theory_strings_rewriter.cpp	175832	log plain
-rw-r--r--	theory_strings_rewriter.h	30854	log plain
-rw-r--r--	theory_strings_type_rules.h	2443	log plain
-rw-r--r--	theory_strings_utils.cpp	5277	log plain
-rw-r--r--	theory_strings_utils.h	4491	log plain
-rw-r--r--	type_enumerator.h	3228	log plain