Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. JavaBDD
  5. Download

JavaBDD 0.6

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de JavaBDD

Biblioteca Java para manipular BDD (Binary Decision Diagrams). Los diagramas de decisión binarios se utilizan ampliamente en la comprobación de modelos, verificación formal, optimización de diagramas de circuitos, etc.

Programas relacionados

  • Jonathan Gratis

    Jonathan - Dios dado. Jonathan es muy similar a los programas de lectura de la Biblia actualmente disponibles, con una diferencia. Con Jonathan, puedes leer otros Textos Espirituales que están fuera de la Biblia. Jonathan esp

  • Lg nyelv Gratis

    Una implementación mínima del logotipo. Principalmente para niños a la edad de 8-14 años.Fácil de usar. Los primeros lanzamientos solo funcionan en húngaro.

  • WxMAP2 Gratis

    Un sistema basado en python para diagnosticar y hacer mapas meteorológicos (wxmap) de modelos numéricos de predicción meteorológica utilizando el Sistema de Análisis y Visualización de Cuadrícula (GrADS) de opengrads.org

  • Two Line Calculator Gratis

    Esta es una calculadora gtk con dos líneas y una sección para tomar notas. El objetivo es crear una calculadora que será el único programa que necesitará al hacer aritmética. El producto se encuentra actualmente en la fase al

  • Squeebles Multiplication 1 Prueba gratuita

    NOTA: A partir de julio de 2013, esta aplicación ha sido reemplazada por Squeebles Times Tables 2 - ahora disponible para Android. Incluye más veces tablas modos de juego, un nuevo sistema de recompensas y un montón de inform

  • AIEEE Papers Prueba gratuita

    Compre documentos resueltos por AIEEE, documentos de prueba simulados, documentos modelo, guías y materiales preparatorios en línea en www.dishapublication.com/books/upcoming-exam.html. Ofrecemos libros de la mejor calidad pa

  • Speak Spanish in 12 days Free Prueba gratuita

    Habla español en solo 12 días. Esta aplicación te permitirá aprender español muy rápido. * * * LAS LESIONES SON EN INGLES * * *Tener este curso en tu dispositivo móvil te ofrecerá la posibilidad de aprender en cualquie

  • Tamil Recipe Lite Prueba gratuita

    El sur de la India es igualmente famoso por la disponibilidad de coco, una amplia variedad de peces y tubérculos de raíz. La comida del sur de la India es principalmente arroz, que a la gente del sur de la India le encanta

  • CanTherm Gratis

    Este software se puede utilizar para calcular cantidades termoquímicas y cinéticas como, entalpía, entropía, capacidad de calor y constantes de tasa de teoría de estado de transición a partir de datos espectroscópicos /cuánti

  • HWave Gratis

    El propósito de este programa es trazar las formas de onda de la función de onda de hidrógeno. El programa tiene 4 opciones. En primer lugar, trazar la función radial, en segundo lugar, trazar la probabilidad radial, tercero,