# 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.60"
name = "biodivine-lib-param-bn"
version = "0.5.13"
authors = [
    "Samuel Pastva <sam.pastva@gmail.com>",
    "Eva Šmijáková <xsmijak1@fi.muni.cz>",
    "Ondřej Huvar <xhuvar@fi.muni.cz>",
]
build = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Library for working with parametrized Boolean networks."
homepage = "https://github.com/sybila/biodivine-lib-param-bn"
readme = "README.md"
keywords = [
    "boolean-network",
    "asynchronous",
    "symbolic",
    "graph",
    "systems-biology",
]
categories = [
    "science",
    "simulation",
]
license = "MIT"
repository = "https://github.com/sybila/biodivine-lib-param-bn"

[package.metadata.docs.rs]
features = ["solver-z3"]
rustdoc-args = [
    "--html-in-header",
    "docs-head.html",
]

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

[[bin]]
name = "bench-fixed-points-solver"
path = "src/bin/bench_fixed_points_solver.rs"
required-features = ["solver-z3"]

[[bin]]
name = "bench_fixed_points_naive"
path = "src/bin/bench_fixed_points_naive.rs"

[[bin]]
name = "bench_fixed_points_symbolic"
path = "src/bin/bench_fixed_points_symbolic.rs"

[[bin]]
name = "bench_fixed_points_symbolic_colors"
path = "src/bin/bench_fixed_points_symbolic_colors.rs"

[[bin]]
name = "bench_fixed_points_symbolic_iterator"
path = "src/bin/bench_fixed_points_symbolic_iterator.rs"

[[bin]]
name = "bench_fixed_points_symbolic_vertices"
path = "src/bin/bench_fixed_points_symbolic_vertices.rs"

[[bin]]
name = "bench_reach"
path = "src/bin/bench_reach.rs"

[[bin]]
name = "bench_reach_symbolic"
path = "src/bin/bench_reach_symbolic.rs"

[[bin]]
name = "bench_reach_symbolic_basic"
path = "src/bin/bench_reach_symbolic_basic.rs"

[[bin]]
name = "bench_trap_spaces_minimal"
path = "src/bin/bench_trap_spaces_minimal.rs"

[[bin]]
name = "bnet_parametrizer"
path = "src/bin/bnet_parametrizer.rs"

[[bin]]
name = "check-fixed-points-solver"
path = "src/bin/check_fixed_points_solver.rs"
required-features = ["solver-z3"]

[[bin]]
name = "check_fixed_points"
path = "src/bin/check_fixed_points.rs"

[[bin]]
name = "check_fvs"
path = "src/bin/check_fvs.rs"

[[bin]]
name = "check_ic"
path = "src/bin/check_ic.rs"

[[bin]]
name = "check_nfvs"
path = "src/bin/check_nfvs.rs"

[[bin]]
name = "check_nic"
path = "src/bin/check_nic.rs"

[[bin]]
name = "dump-graph"
path = "src/bin/dump_graph.rs"

[[bin]]
name = "gen_diff_tests"
path = "src/bin/gen_diff_tests.rs"

[dependencies.biodivine-lib-bdd]
version = ">=0.5.13, <1.0.0"

[dependencies.bitvector]
version = "0.1.5"

[dependencies.fxhash]
version = "0.2.1"

[dependencies.lazy_static]
version = "1.4.0"

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

[dependencies.num-traits]
version = "0.2.17"

[dependencies.regex]
version = "1.10.2"

[dependencies.roxmltree]
version = "0.19.0"

[dependencies.z3]
version = "0.12.1"
optional = true

[dev-dependencies.pretty_assertions]
version = "1.4.0"

[features]
print-progress = []
solver-z3 = ["dep:z3"]