Skip to content

Commit

Permalink
adding pynusmv to docs requirements
Browse files Browse the repository at this point in the history
  • Loading branch information
@tomyaacov
tomyaacov committed Aug 28, 2023
1 parent 6c97d61 commit 266c821
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/requirements.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@ git+https://github.com/bThink-BGU/BPpy.git@master
z3-solver>=4.8.5.0
gymnasium==0.28.1
stable-baselines3==2.0.0
pynusmv==1.0rc8
https://github.com/davidebreso/pynusmv/releases/download/v1.0rc8/pynusmv-1.0rc8-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

0 comments on commit 266c821

Please sign in to comment.