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_solver.cpp	6024	log plain
-rw-r--r--	bag_solver.h	3011	log plain
-rw-r--r--	bags_rewriter.cpp	16445	log plain
-rw-r--r--	bags_rewriter.h	7626	log plain
-rw-r--r--	bags_statistics.cpp	988	log plain
-rw-r--r--	bags_statistics.h	1178	log plain
-rw-r--r--	infer_info.cpp	2343	log plain
-rw-r--r--	infer_info.h	2611	log plain
-rw-r--r--	inference_generator.cpp	8302	log plain
-rw-r--r--	inference_generator.h	5658	log plain
-rw-r--r--	inference_manager.cpp	1492	log plain
-rw-r--r--	inference_manager.h	2196	log plain
-rw-r--r--	kinds	4176	log plain
-rw-r--r--	make_bag_op.cpp	1245	log plain
-rw-r--r--	make_bag_op.h	1709	log plain
-rw-r--r--	normal_form.cpp	21723	log plain
-rw-r--r--	normal_form.h	7761	log plain
-rw-r--r--	rewrites.cpp	3481	log plain
-rw-r--r--	rewrites.h	2387	log plain
-rw-r--r--	solver_state.cpp	3620	log plain
-rw-r--r--	solver_state.h	2951	log plain
-rw-r--r--	term_registry.cpp	1332	log plain
-rw-r--r--	term_registry.h	1698	log plain
-rw-r--r--	theory_bags.cpp	8732	log plain
-rw-r--r--	theory_bags.h	4035	log plain
-rw-r--r--	theory_bags_type_enumerator.cpp	2516	log plain
-rw-r--r--	theory_bags_type_enumerator.h	3486	log plain
-rw-r--r--	theory_bags_type_rules.cpp	8734	log plain
-rw-r--r--	theory_bags_type_rules.h	2944	log plain