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	11400	log plain
-rw-r--r--	inference_manager.h	11903	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	18953	log plain
-rw-r--r--	regexp_solver.h	4759	log plain
-rw-r--r--	skolem_cache.cpp	5482	log plain
-rw-r--r--	skolem_cache.h	6277	log plain
-rw-r--r--	theory_strings.cpp	185352	log plain
-rw-r--r--	theory_strings.h	45040	log plain
-rw-r--r--	theory_strings_preprocess.cpp	26055	log plain
-rw-r--r--	theory_strings_preprocess.h	2918	log plain
-rw-r--r--	theory_strings_rewriter.cpp	169197	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	4429	log plain
-rw-r--r--	theory_strings_utils.h	3758	log plain
-rw-r--r--	type_enumerator.h	3228	log plain