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
Dolphin 專案旨在成為一個研究專案,用於聚合與開源可伸縮性解算器相關的工具,以及與它們相關的工具,如邊界模型檢查器和軟體驗證器。
相關軟體
-
Object Kernel and RunTime Library 免費
這是一個很小的教育庫:像物件,快速記憶體分配器,網路馬歇爾/unmarshall,動態模組,調試,快速和肮髒的雙向鏈接之間的物件和mozilla javascript或python物件,...和高度便攜!
-
College StatsPac Calculator 免費
期待的不僅僅是圖形!- 全額退款,24小時,如果不滿意的應用程式!^_^!-綜合統計 -- 帶完整圖形包 -StatsPac 提供:8 離散概率函數,7 連續概率函數,1 和 2 樣本置信區間,1 和 2 樣本假設測試,帶 T 檢驗的回歸分析,ANOVA動態清單、因數清單、nCr、nPr、定義、公式、動態直方圖和框圖單詞提示,螢幕上的説明,教程視頻,公式和更多。我們不斷更新和改進我們的 AP
-
TOEIC () 600 免費
Logitalk (傾聽) - (TOEIC) 600.(聽) 。 .'TOEIC () 600 ' 600 ..腳本。洛吉塔克? , , .
-
UniquePrimer 免費
用於大量設計唯一 PCR 底項的簡單 python 命令列文稿。底圖使用 Primer3 進行設計,並針對自定義資料庫(例如基因組)進行爆破。僅返回具有單個匹配的唯一底項。
-
A Prosperous Way Down 免費試用
科羅拉多大學出版社出版的《繁榮之路》立即購買此無 DRM 電子書!由阿爾迪科提供動力。"繁榮之路"考慮了一個礦物燃料較少的未來可以和平與繁榮的方式,包括建立一個更公平和更合作的世界社會的建議。
-
DICOM Confidential 免費
DICOM 機密項目開發一個開源 DICOM(醫學中的數位成像和通信)去識別工具組,該工具組提供了必要的靈活性,可以滿足不同的去識別要求。
-
MPVS 免費
實用工具,幫助學生深刻理解基於規範、迴圈不變量和分解為子問題的經典程式設計方法。
-
DuMP3 - duplicate & similar file finder 免費
DuMP3 是一個重複且類似的檔查找器。它通過哈希查找精確重複的二進位檔案,通過子字串內容查找類似的文本檔,通過波數據按顏色和音訊檔(MP3、WAV、OGG等)查找圖像(JPG、BMP、GIF、PNG等)。未來:字體,視頻。
-
AU FLUKA Tools 免費
為蒙特卡羅粒子運輸代碼 FLUKA (www.fluka.org) 提供輔助工具。
-
STAS Software 免費
STASS代表聲音處理、分析和合成軟體。它將為聲音分析(光譜、索納等)、處理(濾波器、雜訊門)和合成(Sepstrum)提供易於使用的內化器和搜尋器以及執行工具。