Safe Haskell | Safe-Inferred |
---|
Test.QuickSpec.Reasoning.CongruenceClosure
Description
A decision procedure for ground equality, based on the paper Proof-producing Congruence Closure.
quickspec-0.9.5: Equational laws for free
Safe Haskell | Safe-Inferred |
---|
Test.QuickSpec.Reasoning.CongruenceClosure
Description
A decision procedure for ground equality, based on the paper Proof-producing Congruence Closure.