util « src - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	CMakeLists.txt	1965	log plain
-rw-r--r--	abstract_value.cpp	1152	log plain
-rw-r--r--	abstract_value.h	1733	log plain
-rw-r--r--	bin_heap.h	9298	log plain
-rw-r--r--	bitvector.cpp	9506	log plain
-rw-r--r--	bitvector.h	14114	log plain
-rw-r--r--	bool.h	846	log plain
-rw-r--r--	cardinality.cpp	7073	log plain
-rw-r--r--	cardinality.h	6744	log plain
-rw-r--r--	dense_map.h	8426	log plain
-rw-r--r--	divisible.cpp	928	log plain
-rw-r--r--	divisible.h	1582	log plain
-rw-r--r--	floatingpoint.cpp	15592	log plain
-rw-r--r--	floatingpoint.h	17216	log plain
-rw-r--r--	floatingpoint_literal_symfpu.cpp	23252	log plain
-rw-r--r--	floatingpoint_literal_symfpu.h.in	18457	log plain
-rw-r--r--	floatingpoint_size.cpp	1115	log plain
-rw-r--r--	floatingpoint_size.h	3116	log plain
-rw-r--r--	gmp_util.h	1140	log plain
-rw-r--r--	hash.h	1916	log plain
-rw-r--r--	iand.h	1248	log plain
-rw-r--r--	index.cpp	1344	log plain
-rw-r--r--	index.h	867	log plain
-rw-r--r--	indexed_root_predicate.h	2361	log plain
-rw-r--r--	integer.h.in	1258	log plain
-rw-r--r--	integer_cln_imp.cpp	14304	log plain
-rw-r--r--	integer_cln_imp.h	12620	log plain
-rw-r--r--	integer_gmp_imp.cpp	11878	log plain
-rw-r--r--	integer_gmp_imp.h	11059	log plain
-rw-r--r--	maybe.h	2116	log plain
-rw-r--r--	ostream_util.cpp	917	log plain
-rw-r--r--	ostream_util.h	1345	log plain
-rw-r--r--	poly_util.cpp	10398	log plain
-rw-r--r--	poly_util.h	5492	log plain
-rw-r--r--	random.cpp	1880	log plain
-rw-r--r--	random.h	2039	log plain
-rw-r--r--	rational.h.in	1265	log plain
-rw-r--r--	rational_cln_imp.cpp	3170	log plain
-rw-r--r--	rational_cln_imp.h	9542	log plain
-rw-r--r--	rational_gmp_imp.cpp	2868	log plain
-rw-r--r--	rational_gmp_imp.h	9365	log plain
-rw-r--r--	real_algebraic_number.h.in	887	log plain
-rw-r--r--	real_algebraic_number_poly_imp.cpp	5449	log plain
-rw-r--r--	real_algebraic_number_poly_imp.h	6185	log plain
-rw-r--r--	regexp.cpp	1554	log plain
-rw-r--r--	regexp.h	2009	log plain
-rw-r--r--	resource_manager.cpp	13663	log plain
-rw-r--r--	resource_manager.h	6144	log plain
-rw-r--r--	result.cpp	9712	log plain
-rw-r--r--	result.h	4174	log plain
-rw-r--r--	roundingmode.h	1448	log plain
-rw-r--r--	safe_print.cpp	4950	log plain
-rw-r--r--	safe_print.h	4730	log plain
-rw-r--r--	sampler.cpp	4618	log plain
-rw-r--r--	sampler.h	1652	log plain
-rw-r--r--	sexpr.cpp	11197	log plain
-rw-r--r--	sexpr.h	8656	log plain
-rw-r--r--	smt2_quote_string.cpp	1429	log plain
-rw-r--r--	smt2_quote_string.h	921	log plain
-rw-r--r--	statistics.cpp	3538	log plain
-rw-r--r--	statistics.h	3456	log plain
-rw-r--r--	statistics_registry.cpp	2741	log plain
-rw-r--r--	statistics_registry.h	6493	log plain
-rw-r--r--	stats_base.cpp	2398	log plain
-rw-r--r--	stats_base.h	7496	log plain
-rw-r--r--	stats_histogram.h	3237	log plain
-rw-r--r--	stats_timer.cpp	2511	log plain
-rw-r--r--	stats_timer.h	2972	log plain
-rw-r--r--	stats_utils.cpp	1081	log plain
-rw-r--r--	stats_utils.h	932	log plain
-rw-r--r--	string.cpp	12578	log plain
-rw-r--r--	string.h	9627	log plain
-rw-r--r--	tuple.h	1458	log plain
-rw-r--r--	unsafe_interrupt_exception.h	1313	log plain
-rw-r--r--	utility.cpp	1485	log plain
-rw-r--r--	utility.h	2636	log plain