mctk-py

Model Checking Toolkit for Python

Installation

sudo pip3 install mctk-py

Should I use sudo? pip or pip3?

Releases

Version Released Buster
Python 3.7
Bullseye
Python 3.9
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 2023-07-01 03:23:39 UTC