Name : ghc-equivalence
| |
Version : 0.4.1
| Vendor : Fedora Project
|
Release : 4.fc39
| Date : 2023-07-30 08:18:17
|
Group : Unspecified
| Source RPM : ghc-equivalence-0.4.1-4.fc39.src.rpm
|
Size : 0.22 MB
| |
Packager : Fedora Project
| |
Summary : Maintaining an equivalence relation implemented as union-find using STT
|
Description :
This is an implementation of Tarjan\'s Union-Find algorithm (Robert E. Tarjan. \"Efficiency of a Good But Not Linear Set Union Algorithm\", JACM 22(2), 1975) in order to maintain an equivalence relation. This implementation is a port of the /union-find/ package using the ST monad transformer (instead of the IO monad).
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/releases/39/Everything/x86_64/os/Packages/g |