Add SMT Solver 'yices-smt2'

[ohl-bot]

Issue originally created by schoeberl on 2025-01-03T21:08:30Z

---

Description

To use sby, which is part of the nix-based OpenLane2 installation, we need yices-smt2.

Proposal

Please add this to the nix configuartion.

[ohl-bot]

Originally posted by donn at 2025-01-05T07:53:06Z

---

OpenLane only pulls what constituent steps need. Yices is a simple enough add-- for now, after your nix-shell/nix develop you can just invoke nix shell github:efabless/nix-eda#yices to create a new shell with both OpenLane and Yices.

Adding yices as an sby dependency would take place in the nix-eda repository, so I'll move this issue there.

[HU90m]

The version in nixpkgs (25.11) is up to date by the looks of things, so one could even do:

nix shell github:fossi-foundation/nix-eda#yosysFull nixpkgs#yices