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	13607	log plain
-rw-r--r--	arith_heuristic_pivot_rule.cpp	1047	log plain
-rw-r--r--	arith_heuristic_pivot_rule.h	1059	log plain
-rw-r--r--	arith_options	8296	log plain
-rw-r--r--	arith_propagation_mode.cpp	1087	log plain
-rw-r--r--	arith_propagation_mode.h	1042	log plain
-rw-r--r--	arith_unate_lemma_mode.cpp	1167	log plain
-rw-r--r--	arith_unate_lemma_mode.h	1089	log plain
-rw-r--r--	arrays_options	1462	log plain
-rw-r--r--	base_handlers.h	2989	log plain
-rw-r--r--	base_options	6605	log plain
-rw-r--r--	base_options_template.cpp	821	log plain
-rw-r--r--	base_options_template.h	1151	log plain
-rw-r--r--	boolean_term_conversion_mode.cpp	1262	log plain
-rw-r--r--	boolean_term_conversion_mode.h	1554	log plain
-rw-r--r--	booleans_options	599	log plain
-rw-r--r--	builtin_options	180	log plain
-rw-r--r--	bv_bitblast_mode.cpp	1471	log plain
-rw-r--r--	bv_bitblast_mode.h	1654	log plain
-rw-r--r--	bv_options	3691	log plain
-rw-r--r--	datatypes_options	1079	log plain
-rw-r--r--	decision_mode.cpp	1083	log plain
-rw-r--r--	decision_mode.h	1574	log plain
-rw-r--r--	decision_options	1490	log plain
-rw-r--r--	decision_weight.h	828	log plain
-rw-r--r--	didyoumean.cpp	4140	log plain
-rw-r--r--	didyoumean.h	1399	log plain
-rw-r--r--	didyoumean_test.cpp	20871	log plain
-rw-r--r--	expr_options	1711	log plain
-rw-r--r--	fp_options	158	log plain
-rw-r--r--	idl_options	454	log plain
-rw-r--r--	language.cpp	5181	log plain
-rw-r--r--	language.h	5351	log plain
-rw-r--r--	language.i	1943	log plain
-rw-r--r--	logic_info_forward.h	733	log plain
-rw-r--r--	main_options	2986	log plain
-rwxr-xr-x	mkoptions	53522	log plain
-rwxr-xr-x	mktagheaders	482	log plain
-rwxr-xr-x	mktags	1313	log plain
-rw-r--r--	option_exception.h	1740	log plain
-rw-r--r--	option_exception.i	83	log plain
-rw-r--r--	options.h	5038	log plain
-rw-r--r--	options.i	249	log plain
-rw-r--r--	options_handler_get_option_template.cpp	1522	log plain
-rw-r--r--	options_handler_interface.cpp	17195	log plain
-rw-r--r--	options_handler_interface.h	16776	log plain
-rw-r--r--	options_handler_interface.i	101	log plain
-rw-r--r--	options_handler_set_option_template.cpp	1605	log plain
-rw-r--r--	options_holder_template.h	1044	log plain
-rw-r--r--	options_template.cpp	22255	log plain
-rw-r--r--	parser_options	1599	log plain
-rw-r--r--	printer_modes.cpp	1369	log plain
-rw-r--r--	printer_modes.h	1535	log plain
-rw-r--r--	printer_options	776	log plain
-rw-r--r--	proof_options	167	log plain
-rw-r--r--	prop_options	1480	log plain
-rw-r--r--	quantifiers_modes.cpp	2266	log plain
-rw-r--r--	quantifiers_modes.h	4822	log plain
-rw-r--r--	quantifiers_options	19100	log plain
-rw-r--r--	set_language.cpp	2440	log plain
-rw-r--r--	set_language.h	2702	log plain
-rw-r--r--	sets_options	595	log plain
-rw-r--r--	simplification_mode.cpp	1061	log plain
-rw-r--r--	simplification_mode.h	1165	log plain
-rw-r--r--	smt_options	9959	log plain
-rw-r--r--	strings_options	2664	log plain
-rw-r--r--	theory_options	776	log plain
-rw-r--r--	theoryof_mode.cpp	468	log plain
-rw-r--r--	theoryof_mode.h	1127	log plain
-rw-r--r--	uf_options	2460	log plain
-rw-r--r--	ufss_mode.h	1130	log plain