![](/statics/img/blank.png)
XML-SAT
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
關於 XML-SAT
基於迷你衛星的模組化 SAT 解算器。這些模組在XML檔中進行描述,這些檔由perl文本處理;從而生成 n 解算器。
相關軟體
-
TimeSignalForDroid 免費
每小時一小時,通過振動通知您。注意時間到日本的聲音。
-
SVATS 免費
SVATS [安全驗證分析添加到香料] 是一個 Pyhton 書面 EDA 工具,用於添加重複分析功能,使用伯克利香料類比 SW 在模擬和混合模擬數位電子電路上執行 FMEA
-
Cube Language Specification 免費
多維數據集語言是新的程式設計語言,基於新的建議:多維程式設計。此專案的目的是邀請專業人士參加有關語言的公開討論並創建規範。
-
Arrowhead Collector 免費
箭頭表面收集器的"必須具有"應用程式。以下是您會發現非常有用的功能的亮點:- 對於新發現的神器記錄其位置與您的手機的GPS- 拍攝"原位"照片,以後可以添加照片- 分配關鍵字,按工件類型、火石材料、網站等組織收藏。- 對於已找到的工件,請使用地圖選擇找到它的位置- 在衛星地圖上顯示所有文物- 按關鍵字篩選顯示的工件- 使用"帶我去那裡"功能在地圖上顯示專案以及您當前的位置能夠隨時保留您的整個收藏!
-
eYe project 免費
eYe 專案是 Sambar Webserver、MySql 資料庫和 Php 在 Windows 環境中的分佈。已配置完整,隨時可以使用。此專案中也有很多模組可供使用。其概念是設置一個完整的 Web 資料庫伺服器
-
Apache Analyzer 免費
Apache 分析器是一個用於分析和分析 Apache 日誌的 Java 應用程式包。報表以 PDF 檔格式準備。OCEAN GenRap 用於分析數據。在文件頁面中查看"一般資訊"。
-
OVal - object validation framework 免費
OVal 是 JAVA 5 或更晚的可擴充物件驗證框架。註釋(@NotNull)或 XML 配置檔可用於表示類約束。OVal 可以選擇使用 AspectJ 強制執行自動驗證 (DbC)
-
NaturalOWL 免費
NaturalOWL 從 OWL 生成對個人和類的描述,這些日誌已使用 RDF 中表示的語言和使用者建模資源進行註釋。目前它支援英語和希臘語。自然OWL可以用作Protg外掛程式。
-
NetBeans Source Viewer Service Plugin 免費
NetBeans 外掛程式公開了一個簡單的 TCP 服務,為外部用戶端提供了基本的 Java 原始程式碼查看和導航功能。由softwarepearls.com貢獻。由伊沃 · 特裡普諾維奇和勞倫斯 · 范赫爾蘇編碼。
-
Spam Agent - SMS Filter 免費
厭倦了簡訊垃圾郵件?垃圾郵件代理是一種智慧 SMS 篩選器,它使用機器學習技術來檢測和阻止垃圾郵件。忘記繁瑣的黑名單,只需將未經請求的郵件標記為垃圾郵件,代理就會從您的操作中學習。用的越好,越好!來自 190 個國家的數千名 Symbian 使用者已經在使用此應用程式來對抗簡訊垃圾郵件。如有任何疑問或意見,請隨時與我們聯繫。您也可以在 10 月查看我們的 faq: http://www.mobilespamagent.com/blog/faqs/