Acme-Test-LogicalEquivalence (cpan): Test if expressions are logically equivalent
Keywords: test|logic