# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2018"
name = "egg"
version = "0.9.5"
authors = ["Max Willsey <me@mwillsey.com>"]
description = "An implementation of egraphs"
readme = "README.md"
keywords = ["e-graphs"]
categories = ["data-structures"]
license = "MIT"
repository = "https://github.com/egraphs-good/egg"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
    "--cfg",
    "docsrs",
]

[dependencies.coin_cbc]
version = "0.1.6"
optional = true

[dependencies.env_logger]
version = "0.9.0"
default-features = false

[dependencies.fxhash]
version = "0.2.1"

[dependencies.hashbrown]
version = "0.12.1"

[dependencies.indexmap]
version = "1.8.1"

[dependencies.instant]
version = "0.1.12"

[dependencies.log]
version = "0.4.17"

[dependencies.serde]
version = "1.0.137"
features = ["derive"]
optional = true

[dependencies.serde_json]
version = "1.0.81"
optional = true

[dependencies.smallvec]
version = "1.8.0"
features = [
    "union",
    "const_generics",
]

[dependencies.symbol_table]
version = "0.2.0"
features = ["global"]

[dependencies.symbolic_expressions]
version = "5.0.3"

[dependencies.thiserror]
version = "1.0.31"

[dependencies.vectorize]
version = "0.2.0"
optional = true

[dev-dependencies.ordered-float]
version = "3.0.0"

[features]
deterministic = []
lp = ["coin_cbc"]
reports = [
    "serde-1",
    "serde_json",
]
serde-1 = [
    "serde",
    "indexmap/serde-1",
    "hashbrown/serde",
    "symbol_table/serde",
    "vectorize",
]
test-explanations = []
wasm-bindgen = ["instant/wasm-bindgen"]