Name : ghc-equivalence
| |
Version : 0.3.3
| Vendor : Fedora Project
|
Release : 1.fc30
| Date : 2019-02-27 13:55:34
|
Group : Unspecified
| Source RPM : ghc-equivalence-0.3.3-1.fc30.src.rpm
|
Size : 0.25 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-secondary/updates/testing/30/Everything/i386/Packages/g |