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	1046	log plain
-rw-r--r--	abstract_value.cpp	1160	log plain
-rw-r--r--	abstract_value.h	1769	log plain
-rw-r--r--	bin_heap.h	9305	log plain
-rw-r--r--	bitvector.cpp	9254	log plain
-rw-r--r--	bitvector.h	13947	log plain
-rw-r--r--	bitvector.i	2292	log plain
-rw-r--r--	bool.h	831	log plain
-rw-r--r--	bool.i	117	log plain
-rw-r--r--	cardinality.cpp	7027	log plain
-rw-r--r--	cardinality.h	6866	log plain
-rw-r--r--	cardinality.i	1100	log plain
-rw-r--r--	channel.h	3651	log plain
-rw-r--r--	debug.h	1160	log plain
-rw-r--r--	dense_map.h	8425	log plain
-rw-r--r--	divisible.cpp	936	log plain
-rw-r--r--	divisible.h	1591	log plain
-rw-r--r--	divisible.i	254	log plain
-rw-r--r--	floatingpoint.cpp	25624	log plain
-rw-r--r--	floatingpoint.h.in	20355	log plain
-rw-r--r--	floatingpoint.i	71	log plain
-rw-r--r--	gmp_util.h	1361	log plain
-rw-r--r--	hash.h	1920	log plain
-rw-r--r--	hash.i	53	log plain
-rw-r--r--	index.cpp	1365	log plain
-rw-r--r--	index.h	872	log plain
-rw-r--r--	integer.h.in	1259	log plain
-rw-r--r--	integer.i	1541	log plain
-rw-r--r--	integer_cln_imp.cpp	6226	log plain
-rw-r--r--	integer_cln_imp.h	15272	log plain
-rw-r--r--	integer_gmp_imp.cpp	3766	log plain
-rw-r--r--	integer_gmp_imp.h	14066	log plain
-rw-r--r--	maybe.h	2113	log plain
-rw-r--r--	ostream_util.cpp	898	log plain
-rw-r--r--	ostream_util.h	1330	log plain
-rw-r--r--	proof.h	1179	log plain
-rw-r--r--	proof.i	55	log plain
-rw-r--r--	random.cpp	1868	log plain
-rw-r--r--	random.h	2023	log plain
-rw-r--r--	rational.h.in	1266	log plain
-rw-r--r--	rational.i	1562	log plain
-rw-r--r--	rational_cln_imp.cpp	2982	log plain
-rw-r--r--	rational_cln_imp.h	9974	log plain
-rw-r--r--	rational_gmp_imp.cpp	2878	log plain
-rw-r--r--	rational_gmp_imp.h	9578	log plain
-rw-r--r--	regexp.cpp	12536	log plain
-rw-r--r--	regexp.h	9032	log plain
-rw-r--r--	regexp.i	901	log plain
-rw-r--r--	resource_manager.cpp	9648	log plain
-rw-r--r--	resource_manager.h	5522	log plain
-rw-r--r--	resource_manager.i	77	log plain
-rw-r--r--	result.cpp	9685	log plain
-rw-r--r--	result.h	4252	log plain
-rw-r--r--	result.i	685	log plain
-rw-r--r--	safe_print.cpp	4931	log plain
-rw-r--r--	safe_print.h	3138	log plain
-rw-r--r--	sampler.cpp	4736	log plain
-rw-r--r--	sampler.h	1661	log plain
-rw-r--r--	sexpr.cpp	11286	log plain
-rw-r--r--	sexpr.h	8693	log plain
-rw-r--r--	sexpr.i	629	log plain
-rw-r--r--	smt2_quote_string.cpp	1269	log plain
-rw-r--r--	smt2_quote_string.h	906	log plain
-rw-r--r--	statistics.cpp	3829	log plain
-rw-r--r--	statistics.h	3578	log plain
-rw-r--r--	statistics.i	2466	log plain
-rw-r--r--	statistics_registry.cpp	7580	log plain
-rw-r--r--	statistics_registry.h	22511	log plain
-rw-r--r--	tuple.h	1495	log plain
-rw-r--r--	tuple.i	341	log plain
-rw-r--r--	unsafe_interrupt_exception.h	1271	log plain
-rw-r--r--	unsafe_interrupt_exception.i	177	log plain
-rw-r--r--	utility.cpp	1459	log plain
-rw-r--r--	utility.h	3078	log plain