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	2916	log plain
-rw-r--r--	abstract_value.cpp	845	log plain
-rw-r--r--	abstract_value.h	2021	log plain
-rw-r--r--	array.h	771	log plain
-rw-r--r--	array.i	55	log plain
-rw-r--r--	array_store_all.cpp	990	log plain
-rw-r--r--	array_store_all.h	3155	log plain
-rw-r--r--	array_store_all.i	559	log plain
-rw-r--r--	ascription_type.h	1937	log plain
-rw-r--r--	ascription_type.i	284	log plain
-rw-r--r--	backtrackable.h	5551	log plain
-rw-r--r--	bitvector.h	13949	log plain
-rw-r--r--	bitvector.i	1830	log plain
-rw-r--r--	bool.h	1254	log plain
-rw-r--r--	bool.i	117	log plain
-rw-r--r--	boolean_simplification.cpp	2112	log plain
-rw-r--r--	boolean_simplification.h	7256	log plain
-rw-r--r--	cache.h	3110	log plain
-rw-r--r--	cardinality.cpp	5861	log plain
-rw-r--r--	cardinality.h	7881	log plain
-rw-r--r--	cardinality.i	1100	log plain
-rw-r--r--	channel.h	3471	log plain
-rw-r--r--	configuration.cpp	6482	log plain
-rw-r--r--	configuration.h	3442	log plain
-rw-r--r--	configuration.i	148	log plain
-rw-r--r--	configuration_private.h	4376	log plain
-rw-r--r--	cvc4_assert.cpp	4828	log plain
-rw-r--r--	cvc4_assert.h	11339	log plain
-rw-r--r--	datatype.cpp	34719	log plain
-rw-r--r--	datatype.h	25382	log plain
-rw-r--r--	datatype.i	2765	log plain
-rw-r--r--	debug.h	1115	log plain
-rw-r--r--	dense_map.h	7894	log plain
-rw-r--r--	dump.cpp	688	log plain
-rw-r--r--	dump.h	3433	log plain
-rw-r--r--	dynamic_array.h	3471	log plain
-rw-r--r--	exception.cpp	3004	log plain
-rw-r--r--	exception.h	5766	log plain
-rw-r--r--	exception.i	324	log plain
-rw-r--r--	gmp_util.h	1164	log plain
-rw-r--r--	hash.h	1867	log plain
-rw-r--r--	hash.i	133	log plain
-rw-r--r--	index.h	1566	log plain
-rw-r--r--	integer.h.in	1252	log plain
-rw-r--r--	integer.i	1541	log plain
-rw-r--r--	integer_cln_imp.h	15505	log plain
-rw-r--r--	integer_gmp_imp.h	13576	log plain
-rw-r--r--	ite_removal.cpp	5031	log plain
-rw-r--r--	ite_removal.h	2031	log plain
-rw-r--r--	language.cpp	2213	log plain
-rw-r--r--	language.h	4148	log plain
-rw-r--r--	language.i	1393	log plain
-rw-r--r--	lemma_input_channel.h	1024	log plain
-rw-r--r--	lemma_output_channel.h	1412	log plain
-rw-r--r--	matcher.h	3479	log plain
-rw-r--r--	node_visitor.h	3284	log plain
-rw-r--r--	ntuple.h	2486	log plain
-rw-r--r--	output.cpp	4447	log plain
-rw-r--r--	output.h	18356	log plain
-rw-r--r--	output.i	2166	log plain
-rw-r--r--	predicate.cpp	1756	log plain
-rw-r--r--	predicate.h	1596	log plain
-rw-r--r--	predicate.i	189	log plain
-rw-r--r--	proof.h	898	log plain
-rw-r--r--	rational.h.in	1259	log plain
-rw-r--r--	rational.i	1562	log plain
-rw-r--r--	rational_cln_imp.cpp	1745	log plain
-rw-r--r--	rational_cln_imp.h	9346	log plain
-rw-r--r--	rational_gmp_imp.cpp	1745	log plain
-rw-r--r--	rational_gmp_imp.h	8731	log plain
-rw-r--r--	record.cpp	969	log plain
-rw-r--r--	record.h	4338	log plain
-rw-r--r--	record.i	4068	log plain
-rw-r--r--	recursion_breaker.h	4347	log plain
-rw-r--r--	result.cpp	5479	log plain
-rw-r--r--	result.h	4464	log plain
-rw-r--r--	result.i	684	log plain
-rw-r--r--	sexpr.cpp	930	log plain
-rw-r--r--	sexpr.h	7679	log plain
-rw-r--r--	sexpr.i	574	log plain
-rw-r--r--	sort_inference.cpp	15447	log plain
-rw-r--r--	sort_inference.h	2373	log plain
-rw-r--r--	statistics.cpp	3422	log plain
-rw-r--r--	statistics.h	3387	log plain
-rw-r--r--	statistics.i	3148	log plain
-rw-r--r--	statistics_registry.cpp	4181	log plain
-rw-r--r--	statistics_registry.h	25060	log plain
-rw-r--r--	subrange_bound.h	8899	log plain
-rw-r--r--	subrange_bound.i	1071	log plain
-rw-r--r--	tls.h.in	5862	log plain
-rw-r--r--	trans_closure.cpp	3103	log plain
-rw-r--r--	trans_closure.h	4116	log plain
-rw-r--r--	tuple.h	2249	log plain
-rw-r--r--	tuple.i	333	log plain
-rw-r--r--	uninterpreted_constant.cpp	1212	log plain
-rw-r--r--	uninterpreted_constant.h	2600	log plain
-rw-r--r--	uninterpreted_constant.i	647	log plain
-rw-r--r--	util_model.cpp	1495	log plain
-rw-r--r--	util_model.h	1846	log plain
-rw-r--r--	utility.h	2131	log plain