[dependencies.binary-heap-plus]
version = "0.2.0"
[dependencies.bitset-fixed]
version = "0.1.0"
[dependencies.compare]
version = "0.1.0"
[dependencies.crossbeam]
version = "0.7.3"
[dependencies.metrohash]
version = "1.0.6"
[dependencies.num_cpus]
version = "1.12.0"
[dependencies.parking_lot]
version = "0.10.0"
[dev-dependencies.mock-it]
version = "0.3.0"
[dev-dependencies.regex]
version = "1.3.3"
[dev-dependencies.structopt]
version = "0.3.11"
[package]
authors = ["Xavier Gillard <xavier.gillard@uclouvain.be>"]
categories = ["science", "mathematics", "algorithms", "concurrency"]
description = "DDO a generic and efficient framework for MDD-based optimization."
edition = "2018"
exclude = ["examples/tests/resources/*"]
keywords = ["optimization", "solver", "decision-diagrams", "combinatorial", "cp"]
license = "MIT"
name = "ddo"
readme = "README.md"
repository = "https://github.com/xgillard/ddo"
version = "0.1.6"
[profile.release]
lto = true
panic = "abort"
[profile.test]
opt-level = 3