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