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	2185	log plain
-rw-r--r--	abstract_value.cpp	1143	log plain
-rw-r--r--	abstract_value.h	1920	log plain
-rw-r--r--	bin_heap.h	9318	log plain
-rw-r--r--	bitvector.h	14336	log plain
-rw-r--r--	bitvector.i	2292	log plain
-rw-r--r--	bool.h	848	log plain
-rw-r--r--	bool.i	117	log plain
-rw-r--r--	cache.h	3206	log plain
-rw-r--r--	cardinality.cpp	7027	log plain
-rw-r--r--	cardinality.h	6873	log plain
-rw-r--r--	cardinality.i	1100	log plain
-rw-r--r--	channel.h	3606	log plain
-rw-r--r--	debug.h	1177	log plain
-rw-r--r--	dense_map.h	8437	log plain
-rw-r--r--	divisible.cpp	947	log plain
-rw-r--r--	divisible.h	1618	log plain
-rw-r--r--	divisible.i	254	log plain
-rw-r--r--	dynamic_array.h	3489	log plain
-rw-r--r--	floatingpoint.cpp	9848	log plain
-rw-r--r--	floatingpoint.h	13192	log plain
-rw-r--r--	floatingpoint.i	71	log plain
-rw-r--r--	gmp_util.h	1369	log plain
-rw-r--r--	hash.h	1944	log plain
-rw-r--r--	hash.i	53	log plain
-rw-r--r--	index.cpp	741	log plain
-rw-r--r--	index.h	904	log plain
-rw-r--r--	integer.h.in	1270	log plain
-rw-r--r--	integer.i	1541	log plain
-rw-r--r--	integer_cln_imp.cpp	6242	log plain
-rw-r--r--	integer_cln_imp.h	15232	log plain
-rw-r--r--	integer_gmp_imp.cpp	3751	log plain
-rw-r--r--	integer_gmp_imp.h	14072	log plain
-rw-r--r--	maybe.h	2113	log plain
-rw-r--r--	ntuple.h	2518	log plain
-rw-r--r--	proof.h	1185	log plain
-rw-r--r--	proof.i	55	log plain
-rw-r--r--	rational.h.in	1277	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	10150	log plain
-rw-r--r--	rational_gmp_imp.cpp	3126	log plain
-rw-r--r--	rational_gmp_imp.h	9699	log plain
-rw-r--r--	regexp.cpp	11246	log plain
-rw-r--r--	regexp.h	7609	log plain
-rw-r--r--	regexp.i	1464	log plain
-rw-r--r--	resource_manager.cpp	9680	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	9969	log plain
-rw-r--r--	result.h	4258	log plain
-rw-r--r--	result.i	685	log plain
-rw-r--r--	safe_print.cpp	4915	log plain
-rw-r--r--	safe_print.h	3144	log plain
-rw-r--r--	sexpr.cpp	11355	log plain
-rw-r--r--	sexpr.h	8699	log plain
-rw-r--r--	sexpr.i	629	log plain
-rw-r--r--	smt2_quote_string.cpp	1249	log plain
-rw-r--r--	smt2_quote_string.h	938	log plain
-rw-r--r--	statistics.cpp	3829	log plain
-rw-r--r--	statistics.h	3585	log plain
-rw-r--r--	statistics.i	3174	log plain
-rw-r--r--	statistics_registry.cpp	7619	log plain
-rw-r--r--	statistics_registry.h	22603	log plain
-rw-r--r--	tuple.h	1533	log plain
-rw-r--r--	tuple.i	341	log plain
-rw-r--r--	unsafe_interrupt_exception.h	1298	log plain
-rw-r--r--	unsafe_interrupt_exception.i	177	log plain
-rw-r--r--	utility.h	2163	log plain