Skip to content

Commit

Permalink
Use PyVCG 1.0.5
Browse files Browse the repository at this point in the history
Should have fixed the install issue for Python 3.11
  • Loading branch information
florianschanda committed Sep 16, 2023
1 parent e261da4 commit 4899faf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion requirements.txt
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ pycodestyle>=2.10
pylint>=2.17
coverage>=7.2
sphinx>=7.0
pyvcg==1.0.4
pyvcg==1.0.5
cvc5==1.0.8

0 comments on commit 4899faf

Please sign in to comment.