libpetri-export 1.3.5

DOT export pipeline for libpetri Coloured Time Petri Net engine
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# 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-export"
version = "1.3.5"
dependencies = [
 "libpetri-core",
]