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	1371	log plain
d---------	bvminisat	303	log plain
-rw-r--r--	cadical.cpp	5082	log plain
-rw-r--r--	cadical.h	2769	log plain
-rw-r--r--	cnf_stream.cpp	24182	log plain
-rw-r--r--	cnf_stream.h	11081	log plain
-rw-r--r--	cryptominisat.cpp	6371	log plain
-rw-r--r--	cryptominisat.h	3105	log plain
-rw-r--r--	kissat.cpp	4491	log plain
-rw-r--r--	kissat.h	2469	log plain
d---------	minisat	338	log plain
-rw-r--r--	proof_cnf_stream.cpp	36487	log plain
-rw-r--r--	proof_cnf_stream.h	6995	log plain
-rw-r--r--	proof_post_processor.cpp	3677	log plain
-rw-r--r--	proof_post_processor.h	3904	log plain
-rw-r--r--	prop_engine.cpp	20842	log plain
-rw-r--r--	prop_engine.h	12925	log plain
-rw-r--r--	prop_proof_manager.cpp	3999	log plain
-rw-r--r--	prop_proof_manager.h	3364	log plain
-rw-r--r--	registrar.h	1313	log plain
-rw-r--r--	sat_proof_manager.cpp	28451	log plain
-rw-r--r--	sat_proof_manager.h	26490	log plain
-rw-r--r--	sat_solver.h	6105	log plain
-rw-r--r--	sat_solver_factory.cpp	2165	log plain
-rw-r--r--	sat_solver_factory.h	1767	log plain
-rw-r--r--	sat_solver_types.cpp	913	log plain
-rw-r--r--	sat_solver_types.h	5498	log plain
-rw-r--r--	skolem_def_manager.cpp	4805	log plain
-rw-r--r--	skolem_def_manager.h	3261	log plain
-rw-r--r--	theory_proxy.cpp	6993	log plain
-rw-r--r--	theory_proxy.h	4709	log plain