# 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"
version = "0.3.1"
authors = ["Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>"]
build = "build.rs"
exclude = [
    "res/",
    "./flake*",
    "flake.lock",
    "*.nix",
    ".envrc",
    "_config.yml",
    "tarpaulin-report.*",
    "*~",
]
description = "Library to solve grounded, complete, and stable ADF-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/"
resolver = "1"

[lib]
name = "adf_bdd"
crate-type = ["lib"]
path = "src/lib.rs"
test = true
doctest = true
bench = true
doc = true
harness = true
edition = "2021"

[dependencies.biodivine-lib-bdd]
version = "0.4.2"

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

[dependencies.derivative]
version = "2.2.0"

[dependencies.lexical-sort]
version = "0.3.1"

[dependencies.log]
version = "0.4"

[dependencies.nom]
version = "7.1.3"

[dependencies.rand]
version = "0.8.5"
features = ["std_rng"]

[dependencies.roaring]
version = "0.10.1"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.strum]
version = "0.24"
features = ["derive"]

[dev-dependencies.env_logger]
version = "0.10"

[dev-dependencies.quickcheck]
version = "1"

[dev-dependencies.quickcheck_macros]
version = "1"

[dev-dependencies.test-log]
version = "0.2"

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