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	13079	log plain
-rw-r--r--	argument_extender.h	2690	log plain
-rw-r--r--	argument_extender_implementation.cpp	3208	log plain
-rw-r--r--	argument_extender_implementation.h	3473	log plain
-rw-r--r--	arith_heuristic_pivot_rule.cpp	1095	log plain
-rw-r--r--	arith_heuristic_pivot_rule.h	1107	log plain
-rw-r--r--	arith_options	9120	log plain
-rw-r--r--	arith_propagation_mode.cpp	1139	log plain
-rw-r--r--	arith_propagation_mode.h	1094	log plain
-rw-r--r--	arith_unate_lemma_mode.cpp	1219	log plain
-rw-r--r--	arith_unate_lemma_mode.h	1141	log plain
-rw-r--r--	arrays_options	1462	log plain
-rw-r--r--	base_handlers.h	3030	log plain
-rw-r--r--	base_options	10614	log plain
-rw-r--r--	base_options_template.cpp	873	log plain
-rw-r--r--	base_options_template.h	1203	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	4253	log plain
-rw-r--r--	datatypes_options	1650	log plain
-rw-r--r--	decision_mode.cpp	1135	log plain
-rw-r--r--	decision_mode.h	1632	log plain
-rw-r--r--	decision_options	1350	log plain
-rw-r--r--	decision_weight.h	886	log plain
-rw-r--r--	didyoumean.cpp	4454	log plain
-rw-r--r--	didyoumean.h	1480	log plain
-rw-r--r--	didyoumean_test.cpp	20938	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	5579	log plain
-rw-r--r--	language.h	5613	log plain
-rw-r--r--	language.i	2091	log plain
-rw-r--r--	main_options	2790	log plain
-rwxr-xr-x	mkoptions	53815	log plain
-rw-r--r--	open_ostream.cpp	2943	log plain
-rw-r--r--	open_ostream.h	1987	log plain
-rw-r--r--	option_exception.h	1792	log plain
-rw-r--r--	option_exception.i	83	log plain
-rw-r--r--	options.h	18184	log plain
-rw-r--r--	options.i	249	log plain
-rw-r--r--	options_get_option_template.cpp	1519	log plain
-rw-r--r--	options_handler.cpp	54300	log plain
-rw-r--r--	options_handler.h	11539	log plain
-rw-r--r--	options_holder_template.h	1096	log plain
-rw-r--r--	options_public_functions.cpp	7355	log plain
-rw-r--r--	options_set_option_template.cpp	1601	log plain
-rw-r--r--	options_template.cpp	27857	log plain
-rw-r--r--	parser_options	1635	log plain
-rw-r--r--	printer_modes.cpp	1427	log plain
-rw-r--r--	printer_modes.h	1601	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	6622	log plain
-rw-r--r--	quantifiers_options	22942	log plain
-rw-r--r--	sep_options	772	log plain
-rw-r--r--	set_language.cpp	2456	log plain
-rw-r--r--	set_language.h	2716	log plain
-rw-r--r--	sets_options	596	log plain
-rw-r--r--	simplification_mode.cpp	1113	log plain
-rw-r--r--	simplification_mode.h	1217	log plain
-rw-r--r--	smt_options	9637	log plain
-rw-r--r--	strings_options	3866	log plain
-rw-r--r--	theory_options	665	log plain
-rw-r--r--	theoryof_mode.cpp	1100	log plain
-rw-r--r--	theoryof_mode.h	1185	log plain
-rw-r--r--	uf_options	2365	log plain
-rw-r--r--	ufss_mode.h	1169	log plain