mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 00:23:35 +00:00
Code Activity

Set minimum rIC3 version to 1.35

Browse source
This commit is contained in:
Yuheng Su 2025-03-14 22:00:09 +08:00
parent 8da7174b16
commit fc0afb04c5
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/source/install.rst
View file

@ -138,6 +138,4 @@ rIC3
^^^^ ^^^^
https://github.com/gipsyh/rIC3/ https://github.com/gipsyh/rIC3/
The minimum required version is 1.3.0 The minimum required version is 1.3.5
rIC3 is not allowed to be used for any commercial purposes without authorization.