# 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 = "biodivine-hctl-model-checker"
version = "0.3.1"
authors = [
    "Ondřej Huvar <xhuvar@fi.muni.cz>",
    "Samuel Pastva <sam.pastva@gmail.com>",
]
exclude = [
    "benchmark_models",
    ".github",
    ".githooks",
]
description = "Library for symbolic HCTL model checking on partially defined Boolean networks."
homepage = "https://github.com/sybila/biodivine-hctl-model-checker"
documentation = "https://docs.rs/biodivine-hctl-model-checker/latest/"
readme = "README.md"
keywords = [
    "hctl",
    "model-checking",
    "boolean-network",
    "symbolic",
    "systems-biology",
]
categories = [
    "science",
    "simulation",
]
license = "MIT"
repository = "https://github.com/sybila/biodivine-hctl-model-checker"

[profile.test]
opt-level = 3

[[bin]]
name = "hctl-model-checker"
path = "src/main.rs"

[[bin]]
name = "convert-aeon-to-bnet"
path = "src/bin/convert_aeon_to_bnet.rs"

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

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

[dependencies.clap]
version = "4.1.4"
features = ["derive"]

[dependencies.rand]
version = "0.8.5"

[dependencies.termcolor]
version = "1.1.2"

[dependencies.zip]
version = "0.6.3"