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	1276	log plain
-rw-r--r--	abstract_value.cpp	1154	log plain
-rw-r--r--	abstract_value.h	1769	log plain
-rw-r--r--	bin_heap.h	9300	log plain
-rw-r--r--	bitvector.cpp	9254	log plain
-rw-r--r--	bitvector.h	14028	log plain
-rw-r--r--	bool.h	848	log plain
-rw-r--r--	cardinality.cpp	7009	log plain
-rw-r--r--	cardinality.h	6866	log plain
-rw-r--r--	dense_map.h	8418	log plain
-rw-r--r--	divisible.cpp	930	log plain
-rw-r--r--	divisible.h	1608	log plain
-rw-r--r--	floatingpoint.cpp	27175	log plain
-rw-r--r--	floatingpoint.h.in	20231	log plain
-rw-r--r--	gmp_util.h	1363	log plain
-rw-r--r--	hash.h	1937	log plain
-rw-r--r--	iand.h	1291	log plain
-rw-r--r--	index.cpp	1365	log plain
-rw-r--r--	index.h	889	log plain
-rw-r--r--	integer.h.in	1259	log plain
-rw-r--r--	integer_cln_imp.cpp	6220	log plain
-rw-r--r--	integer_cln_imp.h	15401	log plain
-rw-r--r--	integer_gmp_imp.cpp	3760	log plain
-rw-r--r--	integer_gmp_imp.h	14356	log plain
-rw-r--r--	maybe.h	2130	log plain
-rw-r--r--	ostream_util.cpp	898	log plain
-rw-r--r--	ostream_util.h	1347	log plain
-rw-r--r--	poly_util.cpp	8138	log plain
-rw-r--r--	poly_util.h	4952	log plain
-rw-r--r--	proof.h	1186	log plain
-rw-r--r--	random.cpp	1862	log plain
-rw-r--r--	random.h	2040	log plain
-rw-r--r--	rational.h.in	1266	log plain
-rw-r--r--	rational_cln_imp.cpp	2976	log plain
-rw-r--r--	rational_cln_imp.h	9689	log plain
-rw-r--r--	rational_gmp_imp.cpp	2872	log plain
-rw-r--r--	rational_gmp_imp.h	9513	log plain
-rw-r--r--	real_algebraic_number.h.in	888	log plain
-rw-r--r--	real_algebraic_number_poly_imp.cpp	5403	log plain
-rw-r--r--	real_algebraic_number_poly_imp.h	6677	log plain
-rw-r--r--	regexp.cpp	1555	log plain
-rw-r--r--	regexp.h	2101	log plain
-rw-r--r--	resource_manager.cpp	11813	log plain
-rw-r--r--	resource_manager.h	6430	log plain
-rw-r--r--	result.cpp	9814	log plain
-rw-r--r--	result.h	4363	log plain
-rw-r--r--	safe_print.cpp	4915	log plain
-rw-r--r--	safe_print.h	4872	log plain
-rw-r--r--	sampler.cpp	4574	log plain
-rw-r--r--	sampler.h	1678	log plain
-rw-r--r--	sexpr.cpp	11198	log plain
-rw-r--r--	sexpr.h	8693	log plain
-rw-r--r--	smt2_quote_string.cpp	1431	log plain
-rw-r--r--	smt2_quote_string.h	923	log plain
-rw-r--r--	statistics.cpp	3829	log plain
-rw-r--r--	statistics.h	3585	log plain
-rw-r--r--	statistics_registry.cpp	7543	log plain
-rw-r--r--	statistics_registry.h	22290	log plain
-rw-r--r--	string.cpp	12379	log plain
-rw-r--r--	string.h	9474	log plain
-rw-r--r--	tuple.h	1512	log plain
-rw-r--r--	unsafe_interrupt_exception.h	1288	log plain
-rw-r--r--	utility.cpp	1506	log plain
-rw-r--r--	utility.h	3359	log plain