cudd
Paket-Details
| Name | cudd |
|---|---|
| Version | 3.0.0-3 |
| Beschreibung | A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures |
| URL | https://github.com/ivmai/cudd |
| Lizenzen | BSD-3-Clause |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 22.03.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | cudd-3.0.0-3-x86_64.pkg.tar.zst |
| PGP-Signatur | cudd-3.0.0-3-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 299.4 KiB |
| Installations-Größe | 868.1 KiB |
| Beliebtheit |