mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-06-28 15:48:52 +00:00
Code Activity

Support rIC3 engine for btor

Browse source
This commit is contained in:
Yuheng Su 2025-12-07 14:19:23 +08:00 • committed by N. Engelhardt
parent 6943469018
commit 222801e687
4 changed files with 65 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/source/install.rst
View file

@ -138,4 +138,4 @@ rIC3
^^^^
https://github.com/gipsyh/rIC3/
The minimum required version is 1.3.5
The minimum required version of rIC3 is 1.5.2