mctk-py

Model Checking Toolkit for Python

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install mctk-py

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.1.1 2023-07-01  
0.1.0 2023-05-12  
0.0.1 2023-03-26  

Issues with this package?

Page last updated 2025-06-27 21:47:35 UTC