| Name : ghc-equivalence
| |
| Version : 0.3.3
| Vendor : Fedora Project
|
| Release : 1.fc30
| Date : 2019-02-27 13:55:40
|
| Group : Unspecified
| Source RPM : ghc-equivalence-0.3.3-1.fc30.src.rpm
|
| Size : 0.30 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: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/30/Everything/x86_64/os/Packages/g |
