An imperative, high-performance disjoint set data structure with nearly-constant time complexity. It can be used with any mutable arrays, most often with IOUArray and STUArray.
Contributions and bug reports are welcome!
-Petr Pudlák
Licensed under the 3-clause BSD license.