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--	.smt_engine.cpp.swo	249856	log plain
-rw-r--r--	command.cpp	56208	log plain
-rw-r--r--	command.h	32476	log plain
-rw-r--r--	command.i	2833	log plain
-rw-r--r--	command_list.cpp	959	log plain
-rw-r--r--	command_list.h	1072	log plain
-rw-r--r--	dump.cpp	9339	log plain
-rw-r--r--	dump.h	3538	log plain
-rw-r--r--	logic_exception.h	1400	log plain
-rw-r--r--	logic_exception.i	133	log plain
-rw-r--r--	logic_request.cpp	1013	log plain
-rw-r--r--	logic_request.h	1610	log plain
-rw-r--r--	managed_ostreams.cpp	5752	log plain
-rw-r--r--	managed_ostreams.h	5617	log plain
-rw-r--r--	model.cpp	1571	log plain
-rw-r--r--	model.h	2512	log plain
-rw-r--r--	smt_engine.cpp	143135	log plain
-rw-r--r--	smt_engine.h	24473	log plain
-rw-r--r--	smt_engine.i	1330	log plain
-rw-r--r--	smt_engine_check_proof.cpp	2950	log plain
-rw-r--r--	smt_engine_scope.cpp	855	log plain
-rw-r--r--	smt_engine_scope.h	2512	log plain
-rw-r--r--	smt_statistics_registry.cpp	901	log plain
-rw-r--r--	smt_statistics_registry.h	2373	log plain
-rw-r--r--	term_formula_removal.cpp	8260	log plain
-rw-r--r--	term_formula_removal.h	3138	log plain
-rw-r--r--	update_ostream.h	3952	log plain