Dolphin Project 0.1.1
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/dolphin-project/files/Dolphin%20SAT/Dolphin%20SAT%200.1.1/dsat-0.1.1.tar.gz/download
에 대해 Dolphin Project
돌고래 프로젝트는 오픈 소스 Satisfiability 솔버 도구와 관련된 도구를 집계하는 연구 프로젝트로, 경계 모델 체커 및 소프트웨어 검증자와 같은 도구입니다.
관련 프로그램
-
Object Kernel and RunTime Library 무료
이것은 작은 교육 라이브러리입니다 : 개체, 빠른 메모리 할당기, 네트워크 마샬 / 마샬 해제, 동적 모듈, 디버그, 우리의 개체와 모질라 자바 스크립트 또는 파이썬 개체 사이의 빠르고 더러운 양방향 링크와 같은 작은 이야기 , ... 그리고 매우 휴대용!
-
College StatsPac Calculator 무료
그래프보다 더 많은 것을 기대하십시오! - 앱에 만족하지 않을 경우 24 시간 전액 환불!^_^!- 종합 통계-- 완전한 그래프 패키지와 함께-StatsPac은 다음을 제공합니다.8 개별 확률 함수,7 연속 확률 함수,1&2 샘플 신뢰도 간격,1&2 샘플 가설 테스트,T-테스트, ANOVA를 통해 회귀 분석동적 목록, 팩터리얼, nCr, nPr, 정의,
-
TOEIC () 600 무료
로지토크 (듣기) - (TOEIC) 600.(듣기) . .& #39; 토이크 () 600 & #39; 600 ..스크립트.로지토크? , , .
-
UniquePrimer 무료
고유한 PCR 프라이머의 배치 설계를 위한 간단한 파이썬 명령줄 스크립트입니다. 프라이머는 Primer3를 사용하여 설계되고 사용자 지정 데이터베이스(예: 게놈)에 대해 폭파됩니다. 단일 매치가 있는 고유한 프라이머만 반환됩니다.
-
A Prosperous Way Down 무료 평가판
콜로라도 대학 출판에 의해 출판 된 번영 한 방법 다운오늘이 DRM 무료 전자 책을 구입! 알디코에 의해 구동.번영하는 길 다운은 화석 연료가 적은 미래가 평화롭고 번영할 수 있는 방법을 고려하며, 여기에는 보다 공평하고 협력적인 세계 사회에 대한 권고가 포함되어 있습니다.
-
DICOM Confidential 무료
DICOM 기밀 프로젝트는 다양한 식별 해제 요구 사항을 고려하는 데 필요한 유연성을 제공하는 오픈 소스 DICOM(의학의 디지털 이미징 및 커뮤니케이션) 식별 해제 툴킷을 개발합니다.
-
MPVS 무료
학생들이 사양, 루프 불변성 및 분해를 하위 문제로 기반으로 하는 고전 프로그래밍 방법론을 깊이 이해할 수 있도록 돕는 실용적인 도구입니다.
-
DuMP3 - duplicate & similar file finder 무료
DuMP3는 중복되고 유사한 파일 파인더입니다. 그것은 해시에 의해 정확한 중복 바이너리, 서브 스트링 콘텐츠에 의해 유사한 텍스트 파일을 찾습니다, 이미지 (JPG, BMP, GIF, PNG 등) 색상 및 오디오 파일 (MP3, WAV, OGG, 기타) 웨이브 데이터에 의해. 미래: 글꼴, 비디오.
-
AU FLUKA Tools 무료
몬테 카를로 입자 운송 코드 FLUKA (www.fluka.org)에 대한 보조 도구를 제공합니다.
-
STAS Software 무료
STASS는 사운드 트리트먼트, 분석 및 합성 소프트웨어를 의미합니다. 그것은 정보 원진과 검색자뿐만 아니라 사운드 분석을위한 수행 도구를 제공합니다 (분광기, 소나 등), 치료 (필터, 소음 게이트) 및 합성 (scepstrum).