pynusmv-tools

Tools, examples and experiments that showcase the potential uses for PyNuSMV

Installation

sudo pip3 install pynusmv-tools

Should I use sudo? pip or pip3?

Releases

Version Released Stretch
Python 3.5
Buster
Python 3.7
Bullseye
Python 3.9
Files
1.0rc10 pre-release 2017-11-09      
1.0rc9 pre-release 2017-10-16      
1.0rc8 pre-release 2017-07-31      
1.0rc7 pre-release 2017-05-19      
1.0rc6 pre-release 2017-01-05      
1.0rc5 pre-release 2016-12-21      
1.0rc4 pre-release 2016-12-17      
1.0rc3 pre-release 2016-12-16      

Issues with this package?

Page last updated 2022-03-28 20:56:11 UTC