checkrs (pypi): Tools for simulation-based model checking and diagnostics.
Keywords: diagnostics|visualization|data-science|matplotlib