We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 953a432 commit 403e708Copy full SHA for 403e708
Cargo.toml
@@ -6,6 +6,8 @@ homepage = "https://github.com/nikomatsakis/ena"
6
repository = "https://github.com/nikomatsakis/ena"
7
version = "0.8.0"
8
authors = ["Niko Matsakis <niko@alum.mit.edu>"]
9
+readme = "README.md"
10
+keywords = ["unification", "union-find"]
11
12
[features]
13
congruence-closure = [ "petgraph" ]
0 commit comments