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	34606	log plain
-rw-r--r--	cardinality_extension.h	17739	log plain
-rw-r--r--	inference_manager.cpp	5410	log plain
-rw-r--r--	inference_manager.h	3719	log plain
-rw-r--r--	kinds	4996	log plain
-rw-r--r--	normal_form.h	5090	log plain
-rw-r--r--	rels_utils.h	3404	log plain
-rw-r--r--	skolem_cache.cpp	1781	log plain
-rw-r--r--	skolem_cache.h	2721	log plain
-rw-r--r--	solver_state.cpp	15034	log plain
-rw-r--r--	solver_state.h	10833	log plain
-rw-r--r--	term_registry.cpp	3849	log plain
-rw-r--r--	term_registry.h	3322	log plain
-rw-r--r--	theory_sets.cpp	6697	log plain
-rw-r--r--	theory_sets.h	3923	log plain
-rw-r--r--	theory_sets_private.cpp	44113	log plain
-rw-r--r--	theory_sets_private.h	9773	log plain
-rw-r--r--	theory_sets_rels.cpp	53778	log plain
-rw-r--r--	theory_sets_rels.h	7966	log plain
-rw-r--r--	theory_sets_rewriter.cpp	22074	log plain
-rw-r--r--	theory_sets_rewriter.h	2984	log plain
-rw-r--r--	theory_sets_type_enumerator.cpp	4087	log plain
-rw-r--r--	theory_sets_type_enumerator.h	2375	log plain
-rw-r--r--	theory_sets_type_rules.h	15427	log plain