Jedd ist eine Java-Spracherweiterung, die zur Implementierung von Programmanalysen mit binären Entscheidungsdiagrammen (BDDs) entwickelt wurde. BDDs sind in Jedd als neuer primitiver Datentyp, Datenbankarbeitsbeziehungen abstrahiert. Jedd basiert auf dem Polyglot-ausziehbaren Compiler-Framework. Derzeit unterstützt Jedd vier BDD-Bibliotheken als Backends: Buddy, Cudd, Sablejbdd und Javabdd. Geben Sie Jedd ein, um zu sehen, wie nützlich es sein kann, wenn Sie es in Ihren Programmierprojekten verwenden!
softwaresea.com bietet das neueste umweltfreundliche Downloadcenter für kostenlose Software im In- und Ausland, einschließlich Computersoftware, Apple-Anwendungen, Android-Anwendungen und anderen kostenlosen Software-Downloads für mobile Computer. Wenn Sie mehr über grüne kostenlose Software erfahren möchten, laden Sie sie auf softwaresea.com herunter!