# 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 = "2021"
rust-version = "1.82"
name = "espresso-logic"
version = "5.6.1"
authors = ["Marcos Sartori <marcos.sartori@ncl.ac.uk>"]
build = "build.rs"
exclude = [
    "/pla",
    "/tlex",
    "/hard_examples",
    "/scripts",
    "/benches",
    "/tests/regression_test.sh",
    "/tests/quick_regression.sh",
    "/TESTING.md",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)"
readme = "README.md"
keywords = [
    "logic",
    "minimization",
    "boolean",
    "pla",
    "espresso",
]
categories = [
    "algorithms",
    "science",
]
license = "MIT"
repository = "https://github.com/marlls1989/espresso-logic"

[features]
cli = ["dep:clap"]

[lib]
name = "espresso_logic"
path = "src/lib.rs"

[[bin]]
name = "espresso"
path = "src/bin/espresso.rs"
required-features = ["cli"]

[[example]]
name = "boolean_expressions"
path = "examples/boolean_expressions.rs"

[[example]]
name = "c_element_example"
path = "examples/c_element_example.rs"

[[example]]
name = "concurrent_transparent"
path = "examples/concurrent_transparent.rs"

[[example]]
name = "cover_types"
path = "examples/cover_types.rs"

[[example]]
name = "dynamic_fold"
path = "examples/dynamic_fold.rs"

[[example]]
name = "espresso_direct_api"
path = "examples/espresso_direct_api.rs"

[[example]]
name = "expr_macro_demo"
path = "examples/expr_macro_demo.rs"

[[example]]
name = "expression_composition"
path = "examples/expression_composition.rs"

[[example]]
name = "inspect_cubes"
path = "examples/inspect_cubes.rs"

[[example]]
name = "intentional_leak"
path = "examples/intentional_leak.rs"

[[example]]
name = "leak_check"
path = "examples/leak_check.rs"

[[example]]
name = "minimize"
path = "examples/minimize.rs"

[[example]]
name = "pla_file"
path = "examples/pla_file.rs"

[[example]]
name = "reader_api"
path = "examples/reader_api.rs"

[[example]]
name = "threshold_gate_example"
path = "examples/threshold_gate_example.rs"

[[example]]
name = "transparent_api"
path = "examples/transparent_api.rs"

[[example]]
name = "variable_labels"
path = "examples/variable_labels.rs"

[[example]]
name = "verify_minimize"
path = "examples/verify_minimize.rs"

[[example]]
name = "writer_api"
path = "examples/writer_api.rs"

[[example]]
name = "xor_function"
path = "examples/xor_function.rs"

[[test]]
name = "test_boolean_expressions"
path = "tests/test_boolean_expressions.rs"

[[test]]
name = "test_cli"
path = "tests/test_cli.rs"

[[test]]
name = "test_expr_macro"
path = "tests/test_expr_macro.rs"

[[test]]
name = "test_integration"
path = "tests/test_integration.rs"

[[test]]
name = "test_memory_safety"
path = "tests/test_memory_safety.rs"

[[test]]
name = "test_thread_safety"
path = "tests/test_thread_safety.rs"

[dependencies.clap]
version = "4.4"
features = ["derive"]
optional = true

[dependencies.espresso-logic-macros]
version = "5.3.0"

[dependencies.lalrpop-util]
version = "0.20"
features = ["lexer"]

[dependencies.libc]
version = "0.2"

[dependencies.weak-table]
version = "0.3"

[dev-dependencies.tempfile]
version = "3.8"

[build-dependencies.bindgen]
version = "0.69"

[build-dependencies.cc]
version = "1.0"

[build-dependencies.lalrpop]
version = "0.20"

[target.'cfg(not(target_family = "wasm"))'.dev-dependencies.criterion]
version = "0.5"
features = ["html_reports"]
