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

Mode	Name	Size
-rw-r--r--	CMakeLists.txt	2572	log plain
-rw-r--r--	README	9394	log plain
-rw-r--r--	argument_extender.h	2701	log plain
-rw-r--r--	argument_extender_implementation.cpp	3209	log plain
-rw-r--r--	argument_extender_implementation.h	3564	log plain
-rw-r--r--	arith_heuristic_pivot_rule.cpp	1095	log plain
-rw-r--r--	arith_heuristic_pivot_rule.h	1107	log plain
-rw-r--r--	arith_options.toml	15421	log plain
-rw-r--r--	arith_propagation_mode.cpp	1139	log plain
-rw-r--r--	arith_propagation_mode.h	1094	log plain
-rw-r--r--	arith_unate_lemma_mode.cpp	1219	log plain
-rw-r--r--	arith_unate_lemma_mode.h	1131	log plain
-rw-r--r--	arrays_options.toml	2178	log plain
-rw-r--r--	base_handlers.h	2886	log plain
-rw-r--r--	base_options.toml	5203	log plain
-rw-r--r--	bool_to_bv_mode.cpp	1283	log plain
-rw-r--r--	bool_to_bv_mode.h	1459	log plain
-rw-r--r--	booleans_options.toml	84	log plain
-rw-r--r--	builtin_options.toml	82	log plain
-rw-r--r--	bv_bitblast_mode.cpp	1903	log plain
-rw-r--r--	bv_bitblast_mode.h	1972	log plain
-rw-r--r--	bv_options.toml	6832	log plain
-rw-r--r--	datatypes_modes.h	1287	log plain
-rw-r--r--	datatypes_options.toml	4982	log plain
-rw-r--r--	decision_mode.cpp	1135	log plain
-rw-r--r--	decision_mode.h	1632	log plain
-rw-r--r--	decision_options.toml	1806	log plain
-rw-r--r--	decision_weight.h	886	log plain
-rw-r--r--	didyoumean.cpp	4454	log plain
-rw-r--r--	didyoumean.h	1480	log plain
-rw-r--r--	didyoumean_test.cpp	21528	log plain
-rw-r--r--	expr_options.toml	2061	log plain
-rw-r--r--	fp_options.toml	60	log plain
-rwxr-xr-x	generate-toml-files.sh	99	log plain
-rw-r--r--	idl_options.toml	318	log plain
-rw-r--r--	language.cpp	7304	log plain
-rw-r--r--	language.h	6799	log plain
-rw-r--r--	language.i	2247	log plain
-rw-r--r--	main_options.toml	5274	log plain
-rwxr-xr-x	mkoptions.py	52415	log plain
-rw-r--r--	module_template.cpp	860	log plain
-rw-r--r--	module_template.h	1075	log plain
-rw-r--r--	open_ostream.cpp	2916	log plain
-rw-r--r--	open_ostream.h	1960	log plain
-rw-r--r--	option_exception.cpp	741	log plain
-rw-r--r--	option_exception.h	2093	log plain
-rw-r--r--	option_exception.i	83	log plain
-rw-r--r--	options.h	18289	log plain
-rw-r--r--	options.i	249	log plain
-rw-r--r--	options_handler.cpp	61933	log plain
-rw-r--r--	options_handler.h	12205	log plain
-rw-r--r--	options_holder_template.h	1029	log plain
-rw-r--r--	options_public_functions.cpp	7183	log plain
-rw-r--r--	options_template.cpp	28669	log plain
-rw-r--r--	parser_options.toml	2202	log plain
-rw-r--r--	printer_modes.cpp	1427	log plain
-rw-r--r--	printer_modes.h	1601	log plain
-rw-r--r--	printer_options.toml	750	log plain
-rw-r--r--	proof_options.toml	1070	log plain
-rw-r--r--	prop_options.toml	2381	log plain
-rw-r--r--	quantifiers_modes.cpp	2258	log plain
-rw-r--r--	quantifiers_modes.h	9829	log plain
-rw-r--r--	quantifiers_options.toml	53671	log plain
-rw-r--r--	sep_options.toml	1406	log plain
-rw-r--r--	set_language.cpp	2456	log plain
-rw-r--r--	set_language.h	2716	log plain
-rw-r--r--	sets_options.toml	983	log plain
-rw-r--r--	smt_modes.cpp	1081	log plain
-rw-r--r--	smt_modes.h	1582	log plain
-rw-r--r--	smt_options.toml	17904	log plain
-rw-r--r--	strings_options.toml	5928	log plain
-rw-r--r--	sygus_out_mode.h	1129	log plain
-rw-r--r--	theory_options.toml	1341	log plain
-rw-r--r--	theoryof_mode.cpp	1055	log plain
-rw-r--r--	theoryof_mode.h	1177	log plain
-rw-r--r--	uf_options.toml	3125	log plain
-rw-r--r--	ufss_mode.h	1169	log plain