commit 5f73d9f952387064934841799f26361cc82ca74d
Author: Huang Rui <vowstar@gmail.com>
Date: Sat Dec 6 18:41:27 2025 +0800

sci-electronics/sby: add z3 as runtime dependency, yices2 optional

sby (SymbiYosys) is a front-end for formal verification that requires
at least one SMT solver at runtime. Add z3 as hard dependency and
yices2 as optional (via USE flag).

Remove RESTRICT="test" as tests can now run with z3.

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 83d7ce56aded78283c88e698b7d3d8c1bf7eefb5
Author: Huang Rui <vowstar@gmail.com>
Date: Sat Dec 6 18:36:48 2025 +0800

sci-electronics/{sby,topola}: add RESTRICT="test"

sby: tests require formal verification solvers (yices2, z3, boolector)
and the complete Tabby CAD Suite or OSS CAD Suite

topola: tests require dev-dependencies (proptest, rstest) which are
removed in src_prepare to avoid network access during build

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 08cbd4a75ca5c2bc03b342834996c91799116cf6
Author: Huang Rui <vowstar@gmail.com>
Date: Sat Dec 6 14:37:55 2025 +0800

sci-electronics/sby: fix Python module path for python-exec wrapper

Use absolute path with EPREFIX because python-exec wrapper
changes the script location from /usr/bin to /usr/lib/python-exec/.

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 339f6bca3b8d46e61267aafb26d6c69889b1d3fe
Author: Huang Rui <vowstar@gmail.com>
Date: Sat Dec 6 12:20:05 2025 +0800

sci-electronics/sby: new package, add 0.60

Signed-off-by: Huang Rui <vowstar@gmail.com>