unifier_set

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

1 unstable release

0.2.0 Feb 6, 2024

AGPL-3.0-or-later

23KB
492 lines

unifier_set

Dependencies

~475KB
~10K SLoC