Lib.rs

› Algorithms
#disjoint-set #union-find #variables #unification #data-structures

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

#2087 in Algorithms

AGPL-3.0-or-later

23KB
492 lines

unifier_set

Dependencies

~475KB
~10K SLoC