bags « 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--	bag_make_op.cpp	1264	log plain
-rw-r--r--	bag_make_op.h	1748	log plain
-rw-r--r--	bag_solver.cpp	7152	log plain
-rw-r--r--	bag_solver.h	3502	log plain
-rw-r--r--	bags_rewriter.cpp	18703	log plain
-rw-r--r--	bags_rewriter.h	8368	log plain
-rw-r--r--	bags_statistics.cpp	917	log plain
-rw-r--r--	bags_statistics.h	1142	log plain
-rw-r--r--	infer_info.cpp	2360	log plain
-rw-r--r--	infer_info.h	2630	log plain
-rw-r--r--	inference_generator.cpp	14231	log plain
-rw-r--r--	inference_generator.h	7789	log plain
-rw-r--r--	inference_manager.cpp	1421	log plain
-rw-r--r--	inference_manager.h	2192	log plain
-rw-r--r--	kinds	4603	log plain
-rw-r--r--	normal_form.cpp	22488	log plain
-rw-r--r--	normal_form.h	7946	log plain
-rw-r--r--	rewrites.cpp	3701	log plain
-rw-r--r--	rewrites.h	2471	log plain
-rw-r--r--	solver_state.cpp	3529	log plain
-rw-r--r--	solver_state.h	2933	log plain
-rw-r--r--	term_registry.cpp	1367	log plain
-rw-r--r--	term_registry.h	1766	log plain
-rw-r--r--	theory_bags.cpp	10207	log plain
-rw-r--r--	theory_bags.h	4244	log plain
-rw-r--r--	theory_bags_type_enumerator.cpp	2595	log plain
-rw-r--r--	theory_bags_type_enumerator.h	3489	log plain
-rw-r--r--	theory_bags_type_rules.cpp	10698	log plain
-rw-r--r--	theory_bags_type_rules.h	4109	log plain