I would love to have your feedback on my first crate: An implementation of the difference bound matrix (DBM) data structure used for model checking real-time systems.
I may use this crate to eventually develop a model checker for probabilistic real-time systems in Rust.
The crate is part of a larger Python project of mine concerned with formal models coined Momba. To this end, I am interfacing Rust with Python via the PyO3 crate. I really enjoy this combination of languages, and Rust has been a great pleasure to work with. Also, the welcoming community and usually exceptional documentation have already been incredibly helpful for me.