smt « src - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	boolean_terms.cpp	39387	log plain
-rw-r--r--	boolean_terms.h	3878	log plain
-rw-r--r--	command.cpp	56664	log plain
-rw-r--r--	command.h	32972	log plain
-rw-r--r--	command.i	2833	log plain
-rw-r--r--	command_list.cpp	896	log plain
-rw-r--r--	command_list.h	1019	log plain
-rw-r--r--	dump.cpp	8828	log plain
-rw-r--r--	dump.h	3475	log plain
-rw-r--r--	ite_removal.cpp	5926	log plain
-rw-r--r--	ite_removal.h	2838	log plain
-rw-r--r--	logic_exception.h	1337	log plain
-rw-r--r--	logic_exception.i	133	log plain
-rw-r--r--	logic_request.cpp	945	log plain
-rw-r--r--	logic_request.h	1554	log plain
-rw-r--r--	managed_ostreams.cpp	5699	log plain
-rw-r--r--	managed_ostreams.h	5564	log plain
-rw-r--r--	model.cpp	1519	log plain
-rw-r--r--	model.h	2272	log plain
-rw-r--r--	model_postprocessor.cpp	9737	log plain
-rw-r--r--	model_postprocessor.h	1274	log plain
-rw-r--r--	smt_engine.cpp	207244	log plain
-rw-r--r--	smt_engine.h	24477	log plain
-rw-r--r--	smt_engine.i	1386	log plain
-rw-r--r--	smt_engine_check_proof.cpp	2559	log plain
-rw-r--r--	smt_engine_scope.cpp	802	log plain
-rw-r--r--	smt_engine_scope.h	2497	log plain
-rw-r--r--	smt_statistics_registry.cpp	847	log plain
-rw-r--r--	smt_statistics_registry.h	2319	log plain
-rw-r--r--	update_ostream.h	3899	log plain