pyvmt

Library to create and check finite and infinite state transition systems

Installation

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

pip3 install pyvmt

Releases

Version Released Buster
Python 3.7
Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.0.4 2022-04-14      
0.0.3 2022-04-01      
0.0.2 yanked 2022-03-31      

Issues with this package?

Page last updated 2023-10-28 03:51:03 UTC