Module ena::cc
[−]
[src]
An implementation of the Congruence Closure algorithm based on the paper "Fast Decision Procedures Based on Congruence Closure" by Nelson and Oppen, JACM 1980.
Structs
CongruenceClosure | |
MergedKeys | |
Token |
Traits
Key |