cudd 3.0.0-2
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | cudd |
| 説明: | A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures |
| 上流 URL: | https://github.com/ivmai/cudd |
| ライセンス: | BSD |
| パッケージ容量: | 306.9 KB |
| インストール容量: | 889.0 KB |
| パッケージ作成者: | T.J. Townsend |
| 最終更新: | 2024-07-12 11:51:59 JST |