bddbddb: BDD-Based Deductive Database
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://bddbddb.cvs.sourceforge.net/bddbddb\nhttp://bddbddb.svn.sourceforge.net/
에 대해 bddbddb: BDD-Based Deductive Database
BDD 기반 공제 데이터베이스, 기본 데이터 구조로 바이너리 결정 다이어그램을 사용하는 데이터 로그의 구현. 이를 통해 기하급수적으로 크기의 관계를 효율적으로 나타낼 수 있습니다.
관련 프로그램
-
Proxy Pal For Networks 무료
PPFN, 그것은 또한 어떤 서버 로그에서 숨길 수있는 도구입니다, 이러한 개발자는 그들이 무엇을해야하는지 알고. 이 궁극적 인 패키지를 다운로드하면 안전 할 것이라는 것을 알고 웹을 즐길 수 있습니다. PPFN - 그래서 안전, 오른쪽 서핑을 배울 수
-
XBMC / Boxee Remote 무료
XBMC / 박스에 대한 원격 제어.v1.0을 제거하십시오!!!v3.1* 프로필은 환경 설정에서 지원v2.2* 사소한 버그 수정v2.1* 윈도우 XBMC와 함께 작동하도록 사소한 버그 수정v2.0* 더 큰 아이콘* 텍스트를 입력하는 키보드를 사용* 더 많은 버튼* 버그 수정v1.0* 비디오, 음악 및 사진 및 해당 재생 목록을 찾아보시다* 목록 보
-
jDTAUS 무료
독일어 DTAUS 파일 형식의 자바 구현. 읽기, 추가, 편집, 삭제 작업 및 확장 레코드를 지원합니다. GUI 응용 프로그램을 사용할 수 있습니다 사용 가능한 모든 기능을 보여 주는. 스크린샷을 참조하십시오.
-
Alligator Snap 무료 평가판
3 개의 쉬운 단계로 자신의 웹 페이지를 함께 스냅. 사전 경험이 필요하지 않습니다 - 앨리게이터 스냅에는 미리 설계된 웹 템플릿과 많은 훌륭한 기능이 함께 제공됩니다. 추가 템플릿을 다운로드하여 프로그램 자체 내에서 무료로 설치할 수 있습니다. 도움말은 항상 온라인 도움말과 통합 기술 지원과 함께 SupportBase.NET 있습니다. 3 개의 쉬운 단계로 자신의 웹 페이지를 함께 스냅. 사전 경험
-
Mayur Linux 무료
Mayur Linux 운영 체제는 linuxPAE64 커널을 기반으로 하므로 프로세서가 x86-64와 호환되는 경우 x86-64 바이너리가 32비트 운영 체제에서 실행되도록 합니다.
-
RIDGID Digital Bubble Level 무료 평가판
RIDGID® 디지털 버블 레벨은 수직, 레벨 및 45° 미터를 위한 3개의 바이알을 특징으로 합니다. 화면을 볼 수 없을 때 상황에 대한 결과를 청각적으로 확인할 수 있는 선택적 사운드 기능이 있습니다. 디스플레이는 또한 센서에 의해 현재 보고되는 정확한 측정을 보여줍니다. 이 응용 프로그램은 당신이 당신의 판독을 방해 할 수있는 측면 이나 후면에 버튼이나 카메라가있는 휴대 전화를 허용하도록
-
CNC GCODE Coordinate Transposition Tool 무료
이 파이썬 3.1 도구는 가공 또는 인그레이빙을 위해 CNC GCODE의 좌표 시스템을 조작합니다. X, Y 또는 Z 좌표를 뒤집거나, 미러 X, Y 또는 Z 좌표를 뒤집거나, 두 XY 좌표를 뒤집거나 미러하거나, Z 모션을 없는 GCODE 파일에 삽입할 수 있습니다.
-
Cell Messaging Layer 무료
셀 메시징 계층은 셀 광대역 엔진 프로세서 클러스터를 위한 매우 빠른 MPI 와 같은 통신 라이브러리입니다. 이를 통해 모든 셀 시너지 처리 요소(SPE)는 네트워크를 통해다른 SPE와 직접 통신할 수 있습니다.
-
cccl 무료
cccl은 마이크로 소프트 비주얼 C ++의 cl.exe 및 링크 .exe 주변의 래퍼입니다. 유닉스 컴파일러 명령줄 매개변수를 cl 및 링크에 해당하는 매개 변수로 변환합니다.
-
C/C++ Program Perfometer 무료
이 프로그램을 사용하면 C/C++ 프로그램의 성능과 모든 메트릭(예: 시간, 메모리, 사용자가 정의한 메트릭 등)에 대해 분리된 코드 조각을 얻을 수 있습니다. 측정 결과는 상세/요약 보고서에 표시됩니다. 상세