Interactieve BDD-omgeving Interactive BDD Milieuproject is een shell-achtig hulpprogramma voor het werken met Robdds.
Download nu

Interactieve BDD-omgeving Rangschikking & Samenvatting

Interactieve BDD-omgeving Tags

interactief omgeving interactieve omgeving BDD Interactive BDD BDD-omgeving

Interactieve BDD-omgeving Beschrijving

Interactive BDD Milieuproject is een shell-achtig hulpprogramma voor het werken met Robdds. Interactive BDD Milieuproject is een schaalachtig hulpprogramma voor het werken met Robdds.Iben is een hulpmiddel dat wordt gebruikt voor het onderwijzen van verminderde binaire beslissingsdiagrammen. Hiermee kan de student met Robdds werken zonder een complexe C of C ++ -interface te leren aan een Robdd-pakket. Men kan de uitdrukkingen in interactief invoeren en het resultaat als een grafiek bekijken of vragen stellen over de ROBDD, zoals het aantal knooppunten in de ROBDD.REQUIRINGEN: · AFPL GHOSTSCRIPT (standaardtak) (aanbevolen) · Graphviz (standaardtak) ( Aanbevolen) Wat is er nieuw in deze release: · geüpgraded naar buddy-versie 2.2 · Toegevoegd man pagina

Interactieve BDD-omgeving Gerelateerde software