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	5426	log plain
-rw-r--r--	inference_manager.cpp	11952	log plain
-rw-r--r--	inference_manager.h	12231	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	61732	log plain
-rw-r--r--	regexp_operation.h	5489	log plain
-rw-r--r--	regexp_solver.cpp	19020	log plain
-rw-r--r--	regexp_solver.h	4910	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	7391	log plain
-rw-r--r--	solver_state.h	7194	log plain
-rw-r--r--	theory_strings.cpp	179633	log plain
-rw-r--r--	theory_strings.h	38702	log plain
-rw-r--r--	theory_strings_preprocess.cpp	26150	log plain
-rw-r--r--	theory_strings_preprocess.h	2918	log plain
-rw-r--r--	theory_strings_rewriter.cpp	173985	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