소프트웨어 제출
  1. 홈
  2. Windows
  3. 다른
  4. Binary Decision Diagram
  5. Download

Binary Decision Diagram

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 2.2/5 - ‎6 ‎투표

에 대해 Binary Decision Diagram

BDD(바이너리 결정 다이어그램) 표현을 사용하여 전체 소프트웨어 패키지를 생성하여 설계 최적화 목표에 대한 논리 맵을 조작하여 c++ Core.C++GUI에서 설계 최적화 목표곱을 다수화합니다. VB6 Verilog 모듈 퀸 맥클루스키 멀티 기능 작업

관련 프로그램

  • Jeeva - Service Oriented Java Framework 무료

    Jeeva는 개발자, 관리자 및 비즈니스 분석가를 위한 간편한 개발, 배포 및 감사 기능을 제외한 내결함성 트랜잭션 기능을 제공하는 서비스 지향 Java 프레임워크입니다.

  • SF.net BTS -> Bugzilla converter 무료

    이 프로젝트는 사용자가 sf.net의 버그 추적 시스템(BTS)에서 Bugzilla(http://www.bugzilla.org)로 전환할 수 있도록 돕기 위해 존재합니다. 그것은 SourceForge에 프로젝트에서 버그를 잡고 자동으로 당신의 Bugzilla 설치에 추가합니다. 그것은 쉽게!

  • Terra-Mater 무료

    프로그래밍 언어 : C++Libs : ZLib, 루아, SQlite,...플랫폼 : Win32이 게임 오덴티드 소프트웨어는 코딩 실험을위한 exercice 및 실험실로 작성됩니다.기능:- 깨끗- 잘 문서화- 크로스 플레이트형- 좋은 건축

  • Teatrix 무료

    Teatrix는 협업 스토리 생성을 위한 3D 가상 환경입니다. 그것은 젊은 학생들에게 문해력의 가르침을 지원하기 위해 개발되었습니다. 이 소프트웨어는 그래픽 엔진으로 Java3D를 사용하여 자바에서 내장되어 있습니다.

  • CMS Extentions Room 무료

    PHP CMS 향상, 핵 기반 CMS 블록 및 모듈 및 애드온. PHP 콘텐츠 관리 포팅 및 개조. 영어와 독일어 파일로 번역합니다.

  • Simien Processor for Jackal 3.0 무료

    실린스 스파르탄 II FPGA에서 자칼 v3.0 ISA의 오픈 소스 구현

  • Aptor 무료

    Java 5 주석을 사용하여 코드를 생성하고 동적 프록시를 구동하는 신속한 응용 프로그램 개발을 위한 프레임워크

  • graphz 무료

    Graphz는 그래프 데이터 구조를 조작하기 위한 라이브러리입니다. 그래프는 최단 경로 등과 같은 알고리즘을 사용하여 분석할 수 있습니다. 그래프는 자바에 기록되어 있습니다. GWT와 호환되며 브라우저에서도 실행할 수 있습니다.

  • OpenSpice Language Specification 무료

    OpenSpice는 향신료 프로그래밍 언어에 대한 진화하고 개방적인 사양입니다. 두 개의 오픈 소스 구현을 사용할 수 있습니다.

  • B4 - Block Forth 무료

    블록 포스는 완전히 C에 기록 된 또 다른 포스 시스템입니다.