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

Mode	Name	Size
-rw-r--r--	README.minisat	343	log plain
-rw-r--r--	bv_sat_solver_notify.h	1384	log plain
d---------	bvminisat	303	log plain
-rw-r--r--	cadical.cpp	5493	log plain
-rw-r--r--	cadical.h	2886	log plain
-rw-r--r--	cnf_stream.cpp	25007	log plain
-rw-r--r--	cnf_stream.h	11347	log plain
-rw-r--r--	cryptominisat.cpp	6846	log plain
-rw-r--r--	cryptominisat.h	3201	log plain
-rw-r--r--	kissat.cpp	4858	log plain
-rw-r--r--	kissat.h	2533	log plain
d---------	minisat	338	log plain
-rw-r--r--	proof_cnf_stream.cpp	35984	log plain
-rw-r--r--	proof_cnf_stream.h	6984	log plain
-rw-r--r--	proof_post_processor.cpp	3600	log plain
-rw-r--r--	proof_post_processor.h	3844	log plain
-rw-r--r--	prop_engine.cpp	17910	log plain
-rw-r--r--	prop_engine.h	13028	log plain
-rw-r--r--	prop_proof_manager.cpp	3987	log plain
-rw-r--r--	prop_proof_manager.h	3350	log plain
-rw-r--r--	registrar.h	1356	log plain
-rw-r--r--	sat_proof_manager.cpp	27939	log plain
-rw-r--r--	sat_proof_manager.h	26509	log plain
-rw-r--r--	sat_solver.h	5839	log plain
-rw-r--r--	sat_solver_factory.cpp	2279	log plain
-rw-r--r--	sat_solver_factory.h	1779	log plain
-rw-r--r--	sat_solver_types.cpp	907	log plain
-rw-r--r--	sat_solver_types.h	5474	log plain
-rw-r--r--	skolem_def_manager.cpp	4589	log plain
-rw-r--r--	skolem_def_manager.h	3003	log plain
-rw-r--r--	theory_proxy.cpp	7099	log plain
-rw-r--r--	theory_proxy.h	4926	log plain