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--	Makefile	71	log plain
-rw-r--r--	Makefile.am	13120	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	3474	log plain
-rw-r--r--	arith_heuristic_pivot_rule.cpp	1106	log plain
-rw-r--r--	arith_heuristic_pivot_rule.h	1118	log plain
-rw-r--r--	arith_options	9379	log plain
-rw-r--r--	arith_propagation_mode.cpp	1150	log plain
-rw-r--r--	arith_propagation_mode.h	1105	log plain
-rw-r--r--	arith_unate_lemma_mode.cpp	1230	log plain
-rw-r--r--	arith_unate_lemma_mode.h	1142	log plain
-rw-r--r--	arrays_options	1462	log plain
-rw-r--r--	base_handlers.h	3041	log plain
-rw-r--r--	base_options	10614	log plain
-rw-r--r--	base_options_template.cpp	874	log plain
-rw-r--r--	base_options_template.h	1214	log plain
-rw-r--r--	booleans_options	183	log plain
-rw-r--r--	builtin_options	180	log plain
-rw-r--r--	bv_bitblast_mode.cpp	1903	log plain
-rw-r--r--	bv_bitblast_mode.h	1933	log plain
-rw-r--r--	bv_options	4373	log plain
-rw-r--r--	datatypes_modes.h	1312	log plain
-rw-r--r--	datatypes_options	2775	log plain
-rw-r--r--	decision_mode.cpp	1146	log plain
-rw-r--r--	decision_mode.h	1633	log plain
-rw-r--r--	decision_options	1350	log plain
-rw-r--r--	decision_weight.h	882	log plain
-rw-r--r--	didyoumean.cpp	4454	log plain
-rw-r--r--	didyoumean.h	1480	log plain
-rw-r--r--	didyoumean_test.cpp	21544	log plain
-rw-r--r--	expr_options	1499	log plain
-rw-r--r--	fp_options	158	log plain
-rw-r--r--	idl_options	454	log plain
-rw-r--r--	language.cpp	5580	log plain
-rw-r--r--	language.h	5613	log plain
-rw-r--r--	language.i	2091	log plain
-rw-r--r--	main_options	2960	log plain
-rwxr-xr-x	mkoptions	53815	log plain
-rw-r--r--	open_ostream.cpp	2954	log plain
-rw-r--r--	open_ostream.h	1998	log plain
-rw-r--r--	option_exception.h	1803	log plain
-rw-r--r--	option_exception.i	83	log plain
-rw-r--r--	options.h	18122	log plain
-rw-r--r--	options.i	249	log plain
-rw-r--r--	options_get_option_template.cpp	1530	log plain
-rw-r--r--	options_handler.cpp	57614	log plain
-rw-r--r--	options_handler.h	12069	log plain
-rw-r--r--	options_holder_template.h	1097	log plain
-rw-r--r--	options_public_functions.cpp	7183	log plain
-rw-r--r--	options_set_option_template.cpp	1612	log plain
-rw-r--r--	options_template.cpp	27811	log plain
-rw-r--r--	parser_options	1635	log plain
-rw-r--r--	printer_modes.cpp	1428	log plain
-rw-r--r--	printer_modes.h	1602	log plain
-rw-r--r--	printer_options	636	log plain
-rw-r--r--	proof_options	712	log plain
-rw-r--r--	prop_options	1438	log plain
-rw-r--r--	quantifiers_modes.cpp	2412	log plain
-rw-r--r--	quantifiers_modes.h	8417	log plain
-rw-r--r--	quantifiers_options	25087	log plain
-rw-r--r--	sep_options	772	log plain
-rw-r--r--	set_language.cpp	2467	log plain
-rw-r--r--	set_language.h	2727	log plain
-rw-r--r--	sets_options	596	log plain
-rw-r--r--	simplification_mode.cpp	1124	log plain
-rw-r--r--	simplification_mode.h	1228	log plain
-rw-r--r--	smt_options	10034	log plain
-rw-r--r--	strings_options	3866	log plain
-rw-r--r--	sygus_out_mode.h	1129	log plain
-rw-r--r--	theory_options	665	log plain
-rw-r--r--	theoryof_mode.cpp	1111	log plain
-rw-r--r--	theoryof_mode.h	1186	log plain
-rw-r--r--	uf_options	2619	log plain
-rw-r--r--	ufss_mode.h	1180	log plain