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

Mode	Name	Size
d---------	cad	420	log plain
-rw-r--r--	cad_solver.cpp	4905	log plain
-rw-r--r--	cad_solver.h	3111	log plain
-rw-r--r--	ext_theory_callback.cpp	3450	log plain
-rw-r--r--	ext_theory_callback.h	2941	log plain
-rw-r--r--	iand_solver.cpp	7912	log plain
-rw-r--r--	iand_solver.h	3885	log plain
d---------	icp	478	log plain
-rw-r--r--	nl_constraint.cpp	3527	log plain
-rw-r--r--	nl_constraint.h	2415	log plain
-rw-r--r--	nl_lemma_utils.cpp	1971	log plain
-rw-r--r--	nl_lemma_utils.h	3909	log plain
-rw-r--r--	nl_model.cpp	42118	log plain
-rw-r--r--	nl_model.h	13208	log plain
-rw-r--r--	nl_monomial.cpp	9686	log plain
-rw-r--r--	nl_monomial.h	5147	log plain
-rw-r--r--	nl_solver.cpp	54095	log plain
-rw-r--r--	nl_solver.h	13016	log plain
-rw-r--r--	nonlinear_extension.cpp	28203	log plain
-rw-r--r--	nonlinear_extension.h	12284	log plain
-rw-r--r--	poly_conversion.cpp	21461	log plain
-rw-r--r--	poly_conversion.h	5447	log plain
-rw-r--r--	stats.cpp	1279	log plain
-rw-r--r--	stats.h	1442	log plain
-rw-r--r--	transcendental_solver.cpp	45968	log plain
-rw-r--r--	transcendental_solver.h	16216	log plain