differential-formula 0.1.1

Incremental Formal Modeling Using Logic Programming and Analysis
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

[dependencies.abomonation]
version = "0.7.3"

[dependencies.abomonation_derive]
version = "0.5.0"

[dependencies.differential-dataflow]
version = "0.11"

[dependencies.enum_dispatch]
version = "0.2.0"

[dependencies.im]
features = ["serde"]
version = "14"

[dependencies.nom]
version = "5"

[dependencies.num]
features = ["serde"]
version = "0.2"

[dependencies.petgraph]
version = "0.5"

[dependencies.rand]
version = "0.4"

[dependencies.readonly]
version = "0.1"

[dependencies.serde]
features = ["derive", "rc", "std"]
version = "1"

[dependencies.timely]
features = ["bincode"]
version = "0.11"

[dependencies.timely_sort]
version = "0.1.6"

[package]
authors = ["Qishen Zhang <qishen23@gmail.com>"]
description = "Incremental Formal Modeling Using Logic Programming and Analysis"
edition = "2018"
exclude = ["tests/samples/CommandLine.exe", "tests/samples/CommandLine.exe.config", "tests/samples/Core.dll"]
license = "MIT"
name = "differential-formula"
version = "0.1.1"