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--	README.md	9523	log plain
-rw-r--r--	arith_options.toml	17647	log plain
-rw-r--r--	arrays_options.toml	1635	log plain
-rw-r--r--	base_options.toml	7736	log plain
-rw-r--r--	booleans_options.toml	47	log plain
-rw-r--r--	builtin_options.toml	46	log plain
-rw-r--r--	bv_options.toml	4419	log plain
-rw-r--r--	datatypes_options.toml	5105	log plain
-rw-r--r--	decision_options.toml	3602	log plain
-rw-r--r--	decision_weight.h	849	log plain
-rw-r--r--	didyoumean_test.cpp	21359	log plain
-rw-r--r--	expr_options.toml	817	log plain
-rw-r--r--	fp_options.toml	516	log plain
-rw-r--r--	language.cpp	2025	log plain
-rw-r--r--	language.h	1727	log plain
-rw-r--r--	main_options.toml	3910	log plain
-rw-r--r--	managed_streams.cpp	3632	log plain
-rw-r--r--	managed_streams.h	4281	log plain
-rw-r--r--	mkoptions.py	38975	log plain
-rw-r--r--	module_template.cpp	942	log plain
-rw-r--r--	module_template.h	1510	log plain
-rw-r--r--	option_exception.cpp	718	log plain
-rw-r--r--	option_exception.h	1460	log plain
-rw-r--r--	options_handler.cpp	13720	log plain
-rw-r--r--	options_handler.h	5309	log plain
-rw-r--r--	options_listener.h	991	log plain
-rw-r--r--	options_public.h	3453	log plain
-rw-r--r--	options_public_template.cpp	6935	log plain
-rw-r--r--	options_template.cpp	1291	log plain
-rw-r--r--	options_template.h	2573	log plain
-rw-r--r--	parser_options.toml	2055	log plain
-rw-r--r--	printer_options.toml	1044	log plain
-rw-r--r--	proof_options.toml	2904	log plain
-rw-r--r--	prop_options.toml	2137	log plain
-rw-r--r--	quantifiers_options.toml	60384	log plain
-rw-r--r--	sep_options.toml	1099	log plain
-rw-r--r--	set_language.cpp	2429	log plain
-rw-r--r--	set_language.h	2542	log plain
-rw-r--r--	sets_options.toml	679	log plain
-rw-r--r--	smt_options.toml	15479	log plain
-rw-r--r--	strings_options.toml	5833	log plain
-rw-r--r--	theory_options.toml	2188	log plain
-rw-r--r--	uf_options.toml	1973	log plain