Skip to content

rule aci_simp done

Mallku Soldevilarequested to merge
65-include-rule-aci_norm into master

Closes #65 Notes:

  • Note that the rule is now called ACI_SIMP
  • I mentioned the rule in table 23: simplification rules. Should I classify the rule by means of some other criterion/table?
  • Not sure about the case of commutativity: CVC5's doc. says that it is optional to exploit the property. CPC does multiset equality.

Merge request reports