rational_deduction 0.0.5

Rust implementation of the rational deduction algorithm.
Documentation 
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

[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"
[dependencies.bitvec]
default-features = false
features = ["alloc"]
version = "0.21.1"

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

[dependencies.rayon]
optional = true
version = "1.5.0"

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