# 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"
name = "adf-bdd-bin"
version = "0.3.0"
authors = ["Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>"]
exclude = [
    "res/",
    "./flake*",
    "*.nix",
    ".envrc",
    "_config.yml",
    "tarpaulin-report.*",
    "*~",
]
description = "Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams"
homepage = "https://ellmau.github.io/adf-obdd"
readme = "README.md"
license = "MIT"
repository = "https://github.com/ellmau/adf-obdd"

[[bin]]
name = "adf-bdd"
path = "src/main.rs"

[dependencies.adf_bdd]
version = "0.3.0"
default-features = false

[dependencies.clap]
version = "3.2.12"
features = [
    "derive",
    "cargo",
    "env",
]

[dependencies.crossbeam-channel]
version = "0.5"

[dependencies.env_logger]
version = "0.9"

[dependencies.log]
version = "0.4"
features = [
    "max_level_trace",
    "release_max_level_info",
]

[dependencies.serde]
version = "1.0"
features = [
    "derive",
    "rc",
]

[dependencies.serde_json]
version = "1.0"

[dependencies.strum]
version = "0.24"

[dev-dependencies.assert_cmd]
version = "2.0"

[dev-dependencies.assert_fs]
version = "1.0"

[dev-dependencies.predicates]
version = "2.1"

[features]
HashSet = ["adf_bdd/HashSet"]
adhoccounting = ["adf_bdd/adhoccounting"]
adhoccountmodels = ["adf_bdd/adhoccountmodels"]
benchmark = ["adf_bdd/benchmark"]
default = [
    "adhoccounting",
    "variablelist",
    "adf_bdd/default",
]
importexport = ["adf_bdd/importexport"]
variablelist = [
    "HashSet",
    "adf_bdd/variablelist",
]