wytp.proof.rules

Classes

• CongruenceClosure
• CongruenceClosure.Assignment
• EqualityCaseAnalysis
• Simplification