blob: 285e489be9eec36250e1e22d930163bf6463363a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#
module REWRITE_RULES "theory/rewriterules/options.h" Rewrite Rules
option efficientEMatching --efficient-e-matching bool :default false
use efficient E-matching (only for rewrite rules)
option rewriteRulesAsAxioms --rewrite-rules-as-axioms bool :default false
whether to convert rewrite rules to usual axioms (for debugging only)
endmodule
|