[dependencies.indexmap]
version = "1"
[dependencies.instant]
version = "0.1"
[dependencies.log]
version = "0.4"
[dependencies.once_cell]
version = "1"
[dependencies.serde]
features = ["derive"]
optional = true
version = "1"
[dependencies.serde_json]
optional = true
version = "1"
[dependencies.smallvec]
version = "1"
[dependencies.symbolic_expressions]
version = "5"
[dev-dependencies.env_logger]
default-features = false
version = "0.7"
[dev-dependencies.ordered-float]
version = "1"
[features]
reports = ["serde-1", "serde_json"]
serde-1 = ["serde", "indexmap/serde-1"]
stdweb = ["instant/stdweb"]
upward-merging = []
[package]
authors = ["Max Willsey <me@mwillsey.com>"]
categories = ["data-structures"]
description = "An implementation of egraphs"
edition = "2018"
keywords = ["e-graphs"]
license = "MIT"
name = "egg"
readme = "README.md"
repository = "https://github.com/mwillsey/egg"
version = "0.6.0"