# 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 = "volute"
version = "1.1.5"
authors = ["Gabriel Gouvine <gabriel.gouvine_cargo@m4x.org>"]
description = "Boolean functions implementation, represented as lookup tables (LUT) or sum-of-products (SOP)"
homepage = "https://github.com/Coloquinte/volute"
readme = "README.md"
keywords = [
    "boolean",
    "logic",
    "LUT",
    "lookup-table",
    "truth-table",
]
categories = [
    "mathematics",
    "algorithms",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/Coloquinte/volute"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
    "--cfg",
    "docsrs",
]

[[bench]]
name = "canonization"
harness = false

[dependencies.good_lp]
version = "1.7"
features = ["highs"]
optional = true
default-features = false

[dependencies.rand]
version = "0.8.5"
optional = true

[dependencies.rustsat]
version = "0.5.1"
optional = true

[dependencies.rustsat-kissat]
version = "0.2.1"
optional = true

[dev-dependencies.criterion]
version = "0.5"

[features]
default = ["rand"]
optim-mip = ["dep:good_lp"]
optim-sat = [
    "dep:rustsat",
    "dep:rustsat-kissat",
]
rand = ["dep:rand"]