ena 0.13.1

Union-find, congruence closure, and other unification code. Based on code from rustc.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

[package]
name = "ena"
description = "Union-find, congruence closure, and other unification code. Based on code from rustc."
license = "MIT/Apache-2.0"
homepage = "https://github.com/rust-lang-nursery/ena"
repository = "https://github.com/rust-lang-nursery/ena"
version = "0.13.1"
authors = ["Niko Matsakis <niko@alum.mit.edu>"]
readme = "README.md"
keywords = ["unification", "union-find"]

[features]
congruence-closure = [ "petgraph" ]
bench = [ ]
persistent = [ "dogged" ]

[dependencies]
dogged = { version = "0.2.0", optional = true }
log = "0.4"
petgraph = { version = "0.4.5", optional = true }