# 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 believe there's an error in this file please file an
# issue against the rust-lang/cargo repository. If you're
# editing this file be aware that the upstream Cargo.toml
# will likely look very different (and much more reasonable)

[package]
edition = "2018"
name = "rational_deduction"
version = "0.0.5"
authors = ["Brandon H. Gomes <bh.gomes@rutgers.edu>"]
exclude = [""]
description = "Rust implementation of the rational deduction algorithm."
homepage = "https://github.com/qdeduction/rational_deduction"
documentation = "https://docs.rs/rational_deduction"
readme = "README.md"
keywords = ["deduction"]
categories = [""]
license = "ISC"
repository = "https://github.com/qdeduction/rational_deduction"
[dependencies.bitvec]
version = "0.21.1"
features = ["alloc"]
default-features = false

[dependencies.exprz]
version = "0.0.12"
features = ["shape"]

[dependencies.rayon]
version = "1.5.0"
optional = true
[badges.is-it-maintained-issue-resolution]
repository = "qdeduction/rational_deduction"

[badges.is-it-maintained-open-issues]
repository = "qdeduction/rational_deduction"

[badges.maintenance]
status = "actively-developed"