| Name : ghc-equivalence
| |
| Version : 0.4.1
| Vendor : Fedora Project
|
| Release : 6.fc40
| Date : 2024-01-24 14:59:18
|
| Group : Unspecified
| Source RPM : ghc-equivalence-0.4.1-6.fc40.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/development/40/Everything/x86_64/os/Packages/g |
