# 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 = "logicng"
version = "0.1.0-alpha.3"
authors = ["BooleWorks GmbH <info@booleworks.com>"]
include = ["/src"]
description = "A Library for Creating, Manipulating, and Solving Boolean Formulas"
homepage = "https://www.logicng.org/"
documentation = "https://docs.rs/logicng/"
readme = "README.md"
keywords = [
    "logic",
    "sat-solving",
    "boolean-formulas",
]
categories = [
    "data-structures",
    "algorithms",
    "mathematics",
    "science",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/booleworks/logicng-rs"

[profile.release]
debug = 2

[lib]
crate-type = ["lib"]

[[example]]
name = "misc"
path = "examples/benches/performance_large.rs"

[[example]]
name = "model_counting"
path = "examples/benches/model_counting.rs"

[[example]]
name = "maximize"
path = "examples/benches/maximize.rs"

[[example]]
name = "maximize_maxsat"
path = "examples/benches/maximize_maxsat.rs"
required-features = ["open_wbo"]

[[example]]
name = "solve"
path = "examples/benches/solve.rs"

[[example]]
name = "parse"
path = "examples/benches/parse.rs"

[[example]]
name = "bench_overview"
path = "examples/benches/overview.rs"
required-features = ["open_wbo"]

[[test]]
name = "test"
path = "tests/sat/dimacs_tests.rs"

[[test]]
name = "concurrency_tests"
path = "tests/concurrency.rs"

[dependencies.bitvec]
version = "1.0.1"

[dependencies.dashmap]
version = "5.5.3"

[dependencies.fastrand]
version = "2.0.0"

[dependencies.itertools]
version = "0.11.0"

[dependencies.logicng-open-wbo-sys]
version = "0.1.0-alpha.3"
optional = true

[dependencies.num-bigint]
version = "0.4.4"

[dependencies.pest]
version = "2.7.3"

[dependencies.pest_derive]
version = "2.7.3"

[dependencies.regex]
version = "1.9.5"

[features]
default = []
long_running_tests = []
open_wbo = ["dep:logicng-open-wbo-sys"]