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--	Makefile	68	log plain
-rw-r--r--	Makefile.am	2200	log plain
-rw-r--r--	abstract_value.cpp	1132	log plain
-rw-r--r--	abstract_value.h	1909	log plain
-rw-r--r--	bin_heap.h	9307	log plain
-rw-r--r--	bitvector.h	14209	log plain
-rw-r--r--	bitvector.i	2292	log plain
-rw-r--r--	bool.h	847	log plain
-rw-r--r--	bool.i	117	log plain
-rw-r--r--	cache.h	3147	log plain
-rw-r--r--	cardinality.cpp	7138	log plain
-rw-r--r--	cardinality.h	7144	log plain
-rw-r--r--	cardinality.i	1100	log plain
-rw-r--r--	channel.h	3648	log plain
-rw-r--r--	debug.h	1176	log plain
-rw-r--r--	dense_map.h	8426	log plain
-rw-r--r--	divisible.cpp	936	log plain
-rw-r--r--	divisible.h	1607	log plain
-rw-r--r--	divisible.i	254	log plain
-rw-r--r--	dynamic_array.h	3478	log plain
-rw-r--r--	floatingpoint.cpp	1401	log plain
-rw-r--r--	floatingpoint.h	8167	log plain
-rw-r--r--	floatingpoint.i	71	log plain
-rw-r--r--	gmp_util.h	1148	log plain
-rw-r--r--	hash.h	1810	log plain
-rw-r--r--	hash.i	133	log plain
-rw-r--r--	index.h	1565	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	4999	log plain
-rw-r--r--	integer_cln_imp.h	14548	log plain
-rw-r--r--	integer_gmp_imp.cpp	2947	log plain
-rw-r--r--	integer_gmp_imp.h	13181	log plain
-rw-r--r--	maybe.h	2102	log plain
-rw-r--r--	ntuple.h	2517	log plain
-rw-r--r--	proof.h	1163	log plain
-rw-r--r--	proof.i	55	log plain
-rw-r--r--	rational.h.in	1266	log plain
-rw-r--r--	rational.i	1643	log plain
-rw-r--r--	rational_cln_imp.cpp	3253	log plain
-rw-r--r--	rational_cln_imp.h	10018	log plain
-rw-r--r--	rational_gmp_imp.cpp	3126	log plain
-rw-r--r--	rational_gmp_imp.h	9347	log plain
-rw-r--r--	regexp.cpp	5727	log plain
-rw-r--r--	regexp.h	10477	log plain
-rw-r--r--	regexp.i	1464	log plain
-rw-r--r--	resource_manager.cpp	9684	log plain
-rw-r--r--	resource_manager.h	5418	log plain
-rw-r--r--	resource_manager.i	77	log plain
-rw-r--r--	result.cpp	9510	log plain
-rw-r--r--	result.h	4454	log plain
-rw-r--r--	result.i	685	log plain
-rw-r--r--	sexpr.cpp	11293	log plain
-rw-r--r--	sexpr.h	8689	log plain
-rw-r--r--	sexpr.i	629	log plain
-rw-r--r--	smt2_quote_string.cpp	1238	log plain
-rw-r--r--	smt2_quote_string.h	927	log plain
-rw-r--r--	statistics.cpp	3455	log plain
-rw-r--r--	statistics.h	3418	log plain
-rw-r--r--	statistics.i	3148	log plain
-rw-r--r--	statistics_registry.cpp	7419	log plain
-rw-r--r--	statistics_registry.h	20676	log plain
-rw-r--r--	subrange_bound.cpp	2035	log plain
-rw-r--r--	subrange_bound.h	8211	log plain
-rw-r--r--	subrange_bound.i	1226	log plain
-rw-r--r--	tuple.h	2280	log plain
-rw-r--r--	tuple.i	625	log plain
-rw-r--r--	unsafe_interrupt_exception.h	1287	log plain
-rw-r--r--	unsafe_interrupt_exception.i	177	log plain
-rw-r--r--	utility.h	2162	log plain