discrete 0.6.0

Combinatorial phantom types for discrete mathematics
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
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
66
67
68
69
70
71
72
73

[dependencies.num-bigint]
version = "0.4.6"

[dependencies.num-integer]
default-features = false
version = "0.1.46"

[dependencies.num-traits]
default-features = false
version = "0.2.19"

[[example]]
name = "dag"
path = "examples/dag.rs"

[[example]]
name = "directed_context"
path = "examples/directed_context.rs"

[[example]]
name = "homotopy"
path = "examples/homotopy.rs"

[[example]]
name = "necklace"
path = "examples/necklace.rs"

[[example]]
name = "pair_of_pairs"
path = "examples/pair_of_pairs.rs"

[[example]]
name = "pair_of_powersets"
path = "examples/pair_of_powersets.rs"

[[example]]
name = "sq_pair"
path = "examples/sq_pair.rs"

[[example]]
name = "test"
path = "examples/test.rs"

[[example]]
name = "triangle_cycles"
path = "examples/triangle_cycles.rs"

[[example]]
name = "world_agent"
path = "examples/world_agent.rs"

[lib]
name = "discrete"
path = "src/lib.rs"

[package]
authors = ["bvssvni <bvssvni@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
description = "Combinatorial phantom types for discrete mathematics"
edition = "2024"
exclude = ["assets/*"]
homepage = "https://github.com/advancedresearch/discrete"
keywords = ["mathematics", "combinatorics", "phantom-types"]
license = "MIT"
name = "discrete"
readme = "README.md"
repository = "https://github.com/advancedresearch/discrete.git"
version = "0.6.0"