libpetri-verification 1.3.5

Formal verification for libpetri Coloured Time Petri Net engine
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

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "libpetri-core"
version = "1.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d496c06399284dd1f2c6680b42277e20e6b252e8d0d526509769dd4df6330397"

[[package]]
name = "libpetri-docgen"
version = "1.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d940f3ea5384ae4a6bd5355adcb44a1b57200412f58597e8527ebaf5916539e1"
dependencies = [
 "libpetri-core",
 "libpetri-export",
]

[[package]]
name = "libpetri-export"
version = "1.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7ddf239d1fdf99a75b7ab769917b6951356dcc90be8a9f99e361e5da2c2e2553"
dependencies = [
 "libpetri-core",
]

[[package]]
name = "libpetri-verification"
version = "1.3.5"
dependencies = [
 "libpetri-core",
 "libpetri-docgen",
]