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	4963	log plain
-rw-r--r--	cad_solver.h	3110	log plain
-rw-r--r--	ext_theory_callback.cpp	3473	log plain
-rw-r--r--	ext_theory_callback.h	2950	log plain
-rw-r--r--	iand_solver.cpp	8384	log plain
-rw-r--r--	iand_solver.h	4252	log plain
-rw-r--r--	iand_table.cpp	7025	log plain
-rw-r--r--	iand_table.h	4451	log plain
d---------	icp	386	log plain
-rw-r--r--	nl_constraint.cpp	3526	log plain
-rw-r--r--	nl_constraint.h	2414	log plain
-rw-r--r--	nl_lemma_utils.cpp	1985	log plain
-rw-r--r--	nl_lemma_utils.h	3923	log plain
-rw-r--r--	nl_model.cpp	42483	log plain
-rw-r--r--	nl_model.h	13222	log plain
-rw-r--r--	nl_monomial.cpp	9685	log plain
-rw-r--r--	nl_monomial.h	5146	log plain
-rw-r--r--	nl_solver.cpp	53179	log plain
-rw-r--r--	nl_solver.h	12903	log plain
-rw-r--r--	nonlinear_extension.cpp	24190	log plain
-rw-r--r--	nonlinear_extension.h	11248	log plain
-rw-r--r--	poly_conversion.cpp	23868	log plain
-rw-r--r--	poly_conversion.h	6057	log plain
-rw-r--r--	stats.cpp	1278	log plain
-rw-r--r--	stats.h	1456	log plain
-rw-r--r--	strategy.cpp	5694	log plain
-rw-r--r--	strategy.h	4928	log plain
-rw-r--r--	transcendental_solver.cpp	45965	log plain
-rw-r--r--	transcendental_solver.h	16215	log plain