• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
      • Gl
      • Witness-cp
      • Ccg
      • Install-not-normalized
      • Rewrite$
      • Removable-runes
      • Fgl
      • Efficiency
      • Rewrite-bounds
      • Bash
      • Def-dag-measure
      • Bdd
      • Remove-hyps
      • Contextual-rewriting
      • Simp
      • Rewrite$-hyps
      • Bash-term-to-dnf
      • Use-trivial-ancestors-check
      • Minimal-runes
      • Clause-processor-tools
        • Rp-rewriter
          • Rp-ruleset
            • Add-meta-rule
            • Enable-meta-rules
            • Disable-meta-rules
            • Def-rp-rule
            • Rp-pr
            • Enable-exc-counterpart
            • Disable-exc-counterpart
            • Bump-rules
            • Bump-rule
            • Bump-down-rule
            • Bump-all-meta-rules
            • Enable-rules
            • Enable-preprocessor
            • Enable-postprocessor
              • Disable-rules
              • Disable-preprocessor
              • Disable-postprocessor
              • Disable-all-rules
            • Defthmrp
            • Rp-rewriter/meta-rules
            • Rp-utilities
            • Rp-rewriter-demo
            • Rp-rewriter/debugging
            • Rp-rewriter/applications
        • Fn-is-body
        • Without-subsumption
        • Rewrite-equiv-hint
        • Def-bounds
        • Rewrite$-context
        • Try-gl-concls
        • Hint-utils
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Rp-ruleset

    Enable-postprocessor

    Enable a postprocessor for RP-Rewriter

    Please rp-ruleset for details.