![](/statics/img/blank.png)
S-SAT - Sapienza SAT 06
在羅馬的拉薩皮恩扎大學課程中,我開發了一個基於單元傳播和回溯的完全工作的SAT解算器;它可以讀取DIMACS檔和處理任何長度的cnf公式(對文字的數量沒有限制)。
版本歷史記錄
- 版本 s-sat06.beta1 發佈於 2009-02-14
若干修復和更新 - 版本 s-sat06.beta1 發佈於 2009-02-14
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: s-sat.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 06
- 作業系統: linux
相關軟體
-
KJV Bible (fortune format) 免費
KJV聖經在Unix財富檔格式。 每個*財富*是一首詩。 相當不錯的 Unix 外殼使用者和那些希望生成一天的「報價」" & quot; 與 cron
-
Algebra Cheat Sheet 免費
代數備忘單為您提供代數公式的快速參考。主題包括:1. 基本屬性和事實(包括激進分子、指數、對數等的屬性,2. 保理和求解方程3. 求解線性方程、二次方程、用平方根求解方程、用絕對值求解方程的方法4. 拋物線、日食、超級波拉、圓等的功能和圖形,5. 常見的代數錯誤。您可以將此備忘單稱為代數公式的快速參考。
-
Word Trainer 免費
在 Android 設備中練習詞彙的最簡單方法!想念你的母語?想要添加更多有趣的單詞?隨意貢獻資料庫,你會説明其他人練習你的語言。歡迎所有語言!http://goo.gl/4hd3G。有三種不同的方式玩 Word 訓練器:- 挑戰:盡量在60秒內猜出盡可能多的單詞。嘗試擊敗你的最好成績!- 練習:盡可能多地練習單詞,沒有時間限制。- 重複:設置要練習的單詞量(只需幾個單詞就更容易集中注意力)。目前支援的語言包括:
-
VOX Compact Spanish + Thesauru 免費試用
這個值軟體包包括Vox西班牙語高級詞典和優秀的Vox西班牙文同義詞庫。Vox 西班牙語高級詞典提供含義、示例、成語和表達,是高中和大學學生的理想之選。同義詞庫對於提高你的西班牙語知識以及在談話和寫作時以最大的精確度表達自己是必不可少的。* 字典中有 34 000 個條目和 70 000 個歐美西班牙文定義* 同義詞庫中的 128 000 個同義詞和反義詞* 超過5000個成語和表達* 不規則動詞附錄搜索工具具有各
-
Zelda all series Cheats 免費
**已經更新廣告格式,以符合谷歌Play開發者計劃政策**方便作弊:塞爾達的應用程式的所有系列功能包括:-收集作弊和代碼的塞爾達傳奇所有經典系列如下***塞爾達的傳說:天空之劍***新**塞爾達的傳說:經典內塞爾達II:連結的傳奇塞爾達的冒險:與塞爾達的傳說的連結:鏈接的塞爾達的 傳奇:鏈接的 覺醒塞爾達的傳說: 時間塞爾達的奧卡琳娜: 塞爾達的面具傳奇: 塞爾達的預言: 塞爾達的甲骨文: 時代預言塞爾達的傳說: 塞爾達的風喚醒傳奇: 塞爾達的四
-
Sai Satcharitra English 免費試用
現在也有印度語 - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindi歐姆 · 什里 · 賽納塔亞 · 納馬!!!希爾迪·賽巴巴的《薩查裡特拉》英文版- 52章,包括阿爾蒂和《論語》。薩查裡特拉·薩塔·帕拉揚可以在任何星期四開始,然後在7天內完成。我請求的權限是在我玩如何插入廣告的概念時, 我最終沒有添加。這些許可權對使用方式沒有影響。
-
Pro Cheats Pokemon White 2 Edn 免費
這個程式包括代碼, 作弊, Pokedex, 傳奇神奇寶貝指南, 形式變化, 前 10 名神奇寶貝統計, 提示和更多的神奇寶貝白色 2!* 這個程式是非官方的, 請閱讀免責聲明在描述的底部 * 需要一些説明在神奇寶貝白色 2?包括在這個應用程式是一個完整的作弊代碼和提示清單。您可以隨身攜帶您的導遊輕鬆到朋友家,並通過電子郵件通過電子郵件向好友發送特定部分的電子郵件。包括:---------] • 作弊指南 • 提示和 技巧 » 動作重播代碼 »
-
Conquest Flex Viewer 免費
ConquestWebView 是一個基於 Web 的 dicom 查看器,用於從使用者那裡 HTTP://www.xs4all.nl/~ingenium/dicom.html。該專案以 PHP 和 Flex 編寫。請注意,系統在顯示前將 DICOM 圖像轉換為 JPG。
-
Atmel AT90USB 802.11g Wireless Project 免費
該專案為使用現成的硬體和開源技術為 802.11g 無線通訊提供了廉價的解決方案。這使用 Atmel AT90USB 微型和 ZyDas ZD1211B 無線晶片組。由大衛·加斯克Wibotics.com
-
LDS Hymns with Notes 免費試用
這是一個非官方的應用程式,具有耶穌基督後期聖徒教會的音樂!以英文、西班牙文、法語和葡萄牙文提供 LDS 讚美詩!這個程式允許您查看LDS讚美詩 - 作為文本和樂譜。按數位、標題、歌詞、主題、作者、作曲家等查找讚美詩。按下按鈕即可在語言之間切換,捏合縮放以便更好地查看,並流式傳輸來自LDS.org。在頁面之間輕鬆輕掃。僅使用文字大小和顏色選項將讚美詩視為歌詞。注意:由於版權限制,某些讚美詩可能不可用。