Metadata-Version: 1.1
Name: checkrs
Version: 0.1.1
Summary: Tools for simulation-based model checking and diagnostics.
Home-page: https://github.com/timothyb0912/checkrs
Author: Timothy Brathwaite
Author-email: timothyb0912@gmail.com
