[package]
name = "pm-bounded-tau-control"
version = "0.1.0"
edition = "2021"
description = "Safe Rust artifacts for PM-Bounded τ-Control formal verification"
license = "MIT"
