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	12190	log plain
-rw-r--r--	argument_extender.h	2648	log plain
-rw-r--r--	argument_extender_implementation.cpp	3166	log plain
-rw-r--r--	argument_extender_implementation.h	3431	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	8171	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	3003	log plain
-rw-r--r--	base_options	10614	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	529	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	3405	log plain
-rw-r--r--	datatypes_options	1524	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	1350	log plain
-rw-r--r--	decision_weight.h	828	log plain
-rw-r--r--	didyoumean.cpp	4259	log plain
-rw-r--r--	didyoumean.h	1399	log plain
-rw-r--r--	didyoumean_test.cpp	20871	log plain
-rw-r--r--	expr_options	1630	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--	main_options	2790	log plain
-rwxr-xr-x	mkoptions	53815	log plain
-rw-r--r--	open_ostream.cpp	2901	log plain
-rw-r--r--	open_ostream.h	1944	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	18127	log plain
-rw-r--r--	options.i	249	log plain
-rw-r--r--	options_get_option_template.cpp	1489	log plain
-rw-r--r--	options_handler.cpp	49009	log plain
-rw-r--r--	options_handler.h	10832	log plain
-rw-r--r--	options_holder_template.h	1044	log plain
-rw-r--r--	options_public_functions.cpp	7324	log plain
-rw-r--r--	options_set_option_template.cpp	1571	log plain
-rw-r--r--	options_template.cpp	27689	log plain
-rw-r--r--	parser_options	1635	log plain
-rw-r--r--	printer_modes.cpp	1369	log plain
-rw-r--r--	printer_modes.h	1543	log plain
-rw-r--r--	printer_options	636	log plain
-rw-r--r--	proof_options	167	log plain
-rw-r--r--	prop_options	1438	log plain
-rw-r--r--	quantifiers_modes.cpp	2266	log plain
-rw-r--r--	quantifiers_modes.h	5353	log plain
-rw-r--r--	quantifiers_options	19220	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	9267	log plain
-rw-r--r--	strings_options	3465	log plain
-rw-r--r--	theory_options	665	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	2365	log plain
-rw-r--r--	ufss_mode.h	1127	log plain