yices 2.6.5-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | yices |
| 説明: | Yices SMT ソルバ |
| 上流 URL: | https://yices.csl.sri.com/ |
| ライセンス: | GPL-3.0-or-later |
| パッケージ容量: | 1.8 MB |
| インストール容量: | 8.3 MB |
| パッケージ作成者: | George Hu |
| 最終更新: | 2025-10-25 21:11:30 JST |
yices を必要とするパッケージ (3)
- maude
- haskell-what4 (任意)
- yosys (任意)