libpetri-verification 1.3.2

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

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

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

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