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 |