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	2273	log plain
-rw-r--r--	README	9378	log plain
-rw-r--r--	arith_options.toml	16640	log plain
-rw-r--r--	arrays_options.toml	2391	log plain
-rw-r--r--	base_handlers.h	2912	log plain
-rw-r--r--	base_options.toml	3893	log plain
-rw-r--r--	booleans_options.toml	84	log plain
-rw-r--r--	builtin_options.toml	82	log plain
-rw-r--r--	bv_options.toml	9056	log plain
-rw-r--r--	datatypes_options.toml	5229	log plain
-rw-r--r--	decision_options.toml	2203	log plain
-rw-r--r--	decision_weight.h	872	log plain
-rw-r--r--	didyoumean.cpp	4454	log plain
-rw-r--r--	didyoumean.h	1480	log plain
-rw-r--r--	didyoumean_test.cpp	21475	log plain
-rw-r--r--	expr_options.toml	1289	log plain
-rw-r--r--	fp_options.toml	313	log plain
-rwxr-xr-x	generate-toml-files.sh	99	log plain
-rw-r--r--	language.cpp	6544	log plain
-rw-r--r--	language.h	6251	log plain
-rw-r--r--	language.i	1839	log plain
-rw-r--r--	main_options.toml	2616	log plain
-rwxr-xr-x	mkoptions.py	47459	log plain
-rw-r--r--	module_template.cpp	879	log plain
-rw-r--r--	module_template.h	1078	log plain
-rw-r--r--	open_ostream.cpp	2931	log plain
-rw-r--r--	open_ostream.h	1971	log plain
-rw-r--r--	option_exception.cpp	743	log plain
-rw-r--r--	option_exception.h	2110	log plain
-rw-r--r--	option_exception.i	83	log plain
-rw-r--r--	options.h	16057	log plain
-rw-r--r--	options.i	1431	log plain
-rw-r--r--	options_handler.cpp	19607	log plain
-rw-r--r--	options_handler.h	5168	log plain
-rw-r--r--	options_holder_template.h	1023	log plain
-rw-r--r--	options_public_functions.cpp	5920	log plain
-rw-r--r--	options_template.cpp	23505	log plain
-rw-r--r--	parser_options.toml	2245	log plain
-rw-r--r--	printer_modes.cpp	1063	log plain
-rw-r--r--	printer_modes.h	1266	log plain
-rw-r--r--	printer_options.toml	1509	log plain
-rw-r--r--	proof_options.toml	1070	log plain
-rw-r--r--	prop_options.toml	2381	log plain
-rw-r--r--	quantifiers_options.toml	62409	log plain
-rw-r--r--	sep_options.toml	1406	log plain
-rw-r--r--	set_language.cpp	2487	log plain
-rw-r--r--	set_language.h	2742	log plain
-rw-r--r--	sets_options.toml	766	log plain
-rw-r--r--	smt_options.toml	21184	log plain
-rw-r--r--	strings_options.toml	5872	log plain
-rw-r--r--	theory_options.toml	1170	log plain
-rw-r--r--	uf_options.toml	3026	log plain