Language

Package: rust-ena @ 0.14.0

Synopsis

Union-find, congruence closure, and other unification code

Description

This package provides an implementation of union-find / congruence-closure in Rust. It was extracted from rustc for independent experimentation.

Home page
https://github.com/rust-lang/ena
Location
gnu/packages/crates-io.scm (line: 8028, column: 2)
Licenses

Lint warnings

LinterMessageLocation
No lint warnings