 | Gereduceerd bestelde binaire beslissingsdiagram (ROBDD)Een BDD-pakket om u te helpen met uw werk. |
| Download nu | |
Gereduceerd bestelde binaire beslissingsdiagram (ROBDD) Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Naam uitgever:
- Mehedi Sarwar
- Besturingssystemen:
- Windows All
- Bestandsgrootte:
- 5.5 MB
Gereduceerd bestelde binaire beslissingsdiagram (ROBDD) Tags
Gereduceerd bestelde binaire beslissingsdiagram (ROBDD) Beschrijving
Gereduceerd bestelde binaire beslissingsdiagram (Robdd) is een handige, op Java gebaseerde tool die is ontworpen om gebruikers een BDD-pakket aan te bieden. BDD- of binaire beslissingsdiagrammen worden op grote schaal gebruikt in Booleaanse logische minimalisatie, technologie-toewijzing, circuitontwerp en optimalisatie.
Gereduceerd bestelde binaire beslissingsdiagram (ROBDD) Gerelateerde software
NETJES
Zeer configureerbaar Fortran-programma voor inspringing en hernummer van verklaringen ...
62 KB
