libpetri-verification 1.3.3

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.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6f451fc3e60fc323666503117bc6a227c19cb50bd038e46031d43708a79570ff"

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

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

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