Difference Bound Matrix Data Structure for Model Checking

Hello everyone!

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.

crate documentation GitHub
I would love to sharpen my Rust skills and write more idiomatic code (is there an analogon to pythonic for Rust?), so any feedback is very much appreciated.

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.

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.