Gentoo Portage Overlays - sci-electronics/sby

sci-electronics/sby

Front-end for Yosys-based formal hardware verification flows

Screenshots

https://github.com/YosysHQ/sby

sby-0.60

~amd64

yices2 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14

View

Download

Browse License: ISC

Overlay: guru

sby-0.60

~amd64

yices2 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14

View

Download

Browse License: ISC

Overlay: vowstar

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

sby-0.60

python_single_target_python3_11?
      ( dev-lang/python:3.11 )

python_single_target_python3_12?
      ( dev-lang/python:3.12 )

python_single_target_python3_13?
      ( dev-lang/python:3.13 )

python_single_target_python3_14?
      ( dev-lang/python:3.14 )

python_single_target_python3_11?
      ( dev-python/click[python_targets_python3_11
            (-)
      ] )

python_single_target_python3_12?
      ( dev-python/click[python_targets_python3_12
            (-)
      ] )

python_single_target_python3_13?
      ( dev-python/click[python_targets_python3_13
            (-)
      ] )

python_single_target_python3_14?
      ( dev-python/click[python_targets_python3_14
            (-)
      ] )

sci-electronics/yosys
sci-mathematics/z3

yices2?
      ( sci-mathematics/yices2 )