# SPDX-FileCopyrightText: 2022 Thomas Kramer
#
# SPDX-License-Identifier: AGPL-3.0-or-later

[package]
name = "libreda-logic"
version = "0.0.3"
authors = ["Thomas Kramer <code@tkramer.ch>"]
edition = "2021"
license = "AGPL-3.0-or-later"
description = "Logic library for LibrEDA."
keywords = ["vlsi", "eda", "boolean", "logic"]
readme = "README.md"
homepage = "https://libreda.org"
repository = "https://codeberg.org/libreda/libreda-logic"

[lib]
[dependencies]
log = "0.4"
itertools = "0.13"
num-traits = "0.2"
serde = { version = "1", optional = true, features = ["derive", "rc"] }
fnv = "1.0" # Fast hashing for small keys.
smallvec = "1.11"
blanket = "0.3.0" # Derive blanket implementations of traits.
streaming-iterator = "0.1"

[dev-dependencies]
criterion = "0.5"

[[bench]]
name = "bench_canonization"
harness = false