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	6016	log plain
-rw-r--r--	bag_solver.h	3045	log plain
-rw-r--r--	bags_rewriter.cpp	16488	log plain
-rw-r--r--	bags_rewriter.h	7657	log plain
-rw-r--r--	bags_statistics.cpp	1001	log plain
-rw-r--r--	bags_statistics.h	1208	log plain
-rw-r--r--	infer_info.cpp	2360	log plain
-rw-r--r--	infer_info.h	2631	log plain
-rw-r--r--	inference_generator.cpp	8311	log plain
-rw-r--r--	inference_generator.h	5684	log plain
-rw-r--r--	inference_manager.cpp	1502	log plain
-rw-r--r--	inference_manager.h	2223	log plain
-rw-r--r--	kinds	4167	log plain
-rw-r--r--	make_bag_op.cpp	1262	log plain
-rw-r--r--	make_bag_op.h	1745	log plain
-rw-r--r--	normal_form.cpp	21753	log plain
-rw-r--r--	normal_form.h	7779	log plain
-rw-r--r--	rewrites.cpp	3500	log plain
-rw-r--r--	rewrites.h	2408	log plain
-rw-r--r--	solver_state.cpp	3618	log plain
-rw-r--r--	solver_state.h	2969	log plain
-rw-r--r--	term_registry.cpp	1329	log plain
-rw-r--r--	term_registry.h	1730	log plain
-rw-r--r--	theory_bags.cpp	8865	log plain
-rw-r--r--	theory_bags.h	4163	log plain
-rw-r--r--	theory_bags_type_enumerator.cpp	2517	log plain
-rw-r--r--	theory_bags_type_enumerator.h	3489	log plain
-rw-r--r--	theory_bags_type_rules.cpp	8753	log plain
-rw-r--r--	theory_bags_type_rules.h	3998	log plain