Lib.rs

› Algorithms

unifier_set

A generic unifier set (disjoint set, union-find) datastructure for use in unification algorithms

Owned by eignnx.

1 unstable release

0.2.0 Feb 6, 2024

AGPL-3.0-or-later

23KB
492 lines

unifier_set

Dependencies

~475KB
~10K SLoC