sets « 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--	cardinality_extension.cpp	35516	log plain
-rw-r--r--	cardinality_extension.h	17978	log plain
-rw-r--r--	inference_manager.cpp	5852	log plain
-rw-r--r--	inference_manager.h	3901	log plain
-rw-r--r--	kinds	5569	log plain
-rw-r--r--	normal_form.h	5284	log plain
-rw-r--r--	rels_utils.h	3380	log plain
-rw-r--r--	singleton_op.cpp	1337	log plain
-rw-r--r--	singleton_op.h	1856	log plain
-rw-r--r--	skolem_cache.cpp	2233	log plain
-rw-r--r--	skolem_cache.h	2805	log plain
-rw-r--r--	solver_state.cpp	15130	log plain
-rw-r--r--	solver_state.h	11016	log plain
-rw-r--r--	term_registry.cpp	4369	log plain
-rw-r--r--	term_registry.h	3692	log plain
-rw-r--r--	theory_sets.cpp	7081	log plain
-rw-r--r--	theory_sets.h	4112	log plain
-rw-r--r--	theory_sets_private.cpp	45333	log plain
-rw-r--r--	theory_sets_private.h	7588	log plain
-rw-r--r--	theory_sets_rels.cpp	54887	log plain
-rw-r--r--	theory_sets_rels.h	7685	log plain
-rw-r--r--	theory_sets_rewriter.cpp	23226	log plain
-rw-r--r--	theory_sets_rewriter.h	2940	log plain
-rw-r--r--	theory_sets_type_enumerator.cpp	4079	log plain
-rw-r--r--	theory_sets_type_enumerator.h	2376	log plain
-rw-r--r--	theory_sets_type_rules.cpp	15264	log plain
-rw-r--r--	theory_sets_type_rules.h	3131	log plain