libpetri-verification 1.4.0

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

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

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

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