#
# 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