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	17605	log plain
-rw-r--r--	inference_manager.h	13993	log plain
-rw-r--r--	kinds	4532	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	20581	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	19430	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	8910	log plain
-rw-r--r--	solver_state.h	7899	log plain
-rw-r--r--	theory_strings.cpp	173768	log plain
-rw-r--r--	theory_strings.h	37321	log plain
-rw-r--r--	theory_strings_preprocess.cpp	25141	log plain
-rw-r--r--	theory_strings_preprocess.h	2918	log plain
-rw-r--r--	theory_strings_rewriter.cpp	174534	log plain
-rw-r--r--	theory_strings_rewriter.h	30671	log plain
-rw-r--r--	theory_strings_type_rules.h	2443	log plain
-rw-r--r--	theory_strings_utils.cpp	4950	log plain
-rw-r--r--	theory_strings_utils.h	4228	log plain
-rw-r--r--	type_enumerator.h	3228	log plain