Package wytp.proof.rules

Class Summary

Class	Description
CongruenceClosure	Responsible for implementing congruence closure.
CongruenceClosure.Assignment
EqualityCaseAnalysis
Simplification