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	2467	log plain
-rw-r--r--	README	5254	log plain
-rw-r--r--	arith_options.toml	17127	log plain
-rw-r--r--	arrays_options.toml	2060	log plain
-rw-r--r--	base_handlers.h	2916	log plain
-rw-r--r--	base_options.toml	3976	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	7454	log plain
-rw-r--r--	datatypes_options.toml	5143	log plain
-rw-r--r--	decision_options.toml	2085	log plain
-rw-r--r--	decision_weight.h	849	log plain
-rw-r--r--	didyoumean.cpp	4587	log plain
-rw-r--r--	didyoumean.h	1512	log plain
-rw-r--r--	didyoumean_test.cpp	21483	log plain
-rw-r--r--	expr_options.toml	824	log plain
-rw-r--r--	fp_options.toml	281	log plain
-rwxr-xr-x	generate-toml-files.sh	99	log plain
-rw-r--r--	language.cpp	5520	log plain
-rw-r--r--	language.h	5128	log plain
-rw-r--r--	main_options.toml	2362	log plain
-rw-r--r--	mkoptions.py	34972	log plain
-rw-r--r--	module_template.cpp	1020	log plain
-rw-r--r--	module_template.h	1147	log plain
-rw-r--r--	open_ostream.cpp	2997	log plain
-rw-r--r--	open_ostream.h	1943	log plain
-rw-r--r--	option_exception.cpp	718	log plain
-rw-r--r--	option_exception.h	2128	log plain
-rw-r--r--	options.h	9273	log plain
-rw-r--r--	options_handler.cpp	17070	log plain
-rw-r--r--	options_handler.h	4346	log plain
-rw-r--r--	options_holder_template.h	1286	log plain
-rw-r--r--	options_listener.h	991	log plain
-rw-r--r--	options_public_functions.cpp	5526	log plain
-rw-r--r--	options_template.cpp	18380	log plain
-rw-r--r--	parser_options.toml	2084	log plain
-rw-r--r--	printer_modes.cpp	1073	log plain
-rw-r--r--	printer_modes.h	1229	log plain
-rw-r--r--	printer_options.toml	2221	log plain
-rw-r--r--	proof_options.toml	2036	log plain
-rw-r--r--	prop_options.toml	2247	log plain
-rw-r--r--	quantifiers_options.toml	60634	log plain
-rw-r--r--	resource_manager_options.toml	1772	log plain
-rw-r--r--	sep_options.toml	1253	log plain
-rw-r--r--	set_language.cpp	2444	log plain
-rw-r--r--	set_language.h	2580	log plain
-rw-r--r--	sets_options.toml	672	log plain
-rw-r--r--	smt_options.toml	17161	log plain
-rw-r--r--	strings_options.toml	5773	log plain
-rw-r--r--	theory_options.toml	2108	log plain
-rw-r--r--	uf_options.toml	2648	log plain