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--	base_solver.cpp	12977	log plain
-rw-r--r--	base_solver.h	7112	log plain
-rw-r--r--	core_solver.cpp	80131	log plain
-rw-r--r--	core_solver.h	16806	log plain
-rw-r--r--	infer_info.cpp	1435	log plain
-rw-r--r--	infer_info.h	5290	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	6088	log plain
-rw-r--r--	solver_state.cpp	10312	log plain
-rw-r--r--	solver_state.h	8677	log plain
-rw-r--r--	strings_fmf.cpp	3447	log plain
-rw-r--r--	strings_fmf.h	3760	log plain
-rw-r--r--	theory_strings.cpp	77500	log plain
-rw-r--r--	theory_strings.h	22435	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	175420	log plain
-rw-r--r--	theory_strings_rewriter.h	30813	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