-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
66 lines (55 loc) · 1.6 KB
/
Cargo.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
[package]
name = "rational_deduction"
version = "0.0.5"
edition = "2018"
authors = ["Brandon H. Gomes <[email protected]>"]
documentation = "https://docs.rs/rational_deduction"
homepage = "https://github.com/qdeduction/rational_deduction"
repository = "https://github.com/qdeduction/rational_deduction"
readme = "README.md"
license = "ISC"
keywords = ["deduction"]
categories = [""]
description = "Rust implementation of the rational deduction algorithm."
exclude = [""]
[badges]
is-it-maintained-issue-resolution = { repository = "qdeduction/rational_deduction" }
is-it-maintained-open-issues = { repository = "qdeduction/rational_deduction" }
maintenance = { status = "actively-developed" }
[features]
# No default features enabled
default = []
# [EXPERIMENTAL] Adds Atom-Expr Pairs
aep = []
# [EXPERIMENTAL] Adds Compositions
composition = []
# [EXPERIMENTAL] Enables Panicking Functions
panic = []
# [EXPERIMENTAL] Enables Parallel Tools
parallel = [
"exprz/rayon",
"parking_lot",
"rayon",
]
# Enables all stable features
stable = [
]
# Enables all experimental features
experimental = [
"aep",
"composition",
"panic",
"parallel",
"serde",
]
# Enables all features
all = [
"stable",
"experimental",
]
[dependencies]
bitvec = { version = "0.22.3", default-features = false, features = ["alloc"] }
exprz = { git = "https://github.com/qdeduction/exprz", features = ["panic", "shape"] }
parking_lot = { version = "0.11.1", optional = true }
rayon = { version = "1.5.1", optional = true }
serde = { version = "1.0.126", default-features = false, features = ["derive"], optional = true }