Support rIC3 model checker as backend#313

Open

gipsyh wants to merge 2 commits intoYosysHQ:mainfrom gipsyh:rIC3

+21-1

Commits on Dec 16, 2024

Support rIC3 as backend
gipsyh
committed

Commits on Dec 17, 2024

update rIC3 backend
gipsyh
committed