vmunoz82 /eda_tools
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
Dockerfile51
yices2 开源项目推荐（5 个）
yices2 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
5收录项目
53Star 总量
4覆盖语言
相关标签
热门项目 全部 5
GitHub 共 5 个仓库，已全部展示
Michael-A-Kuykendall /logician
Sort-checked SMT solver driver for Rust. Fluent Term API, multi-solver fallback, process watchdog, async support. Free forever.
Rust2
filipeom /queries
SMT Query Dataset
0
Yoshyhyrro /verified-pico-thermal
该项目在 GitHub 上没有填写描述
Haskell0
Yoshyhyrro /Siunertaq
该项目在 GitHub 上没有填写描述
Scala0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 5 个项目；原始页面见 https://github.com/topics/yices2。
- 该话题在 GitHub 上共有 5 个仓库， 本站收录的是其中最热门的 5 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 5 个项目累计 53 Star，覆盖 4 种主要语言，数据更新于 2026-11-07。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。