![](/statics/img/blank.png)
XML-SAT
5 saniye içinde indirebilirsiniz.
İndirmeye başlamak için aşağıdaki Harici İndirme Linkine de tıklayabilirsiniz:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Hakkı -nda XML-SAT
Minisat tabanlı modüler bir SAT çözücü. Modüller, perl komut dosyası yla işlenen XML dosyalarında açıklanmıştır; böylece n-çözücüler oluşturur.
İlgili Programlar
-
TimeSignalForDroid Ücret -siz
Saat her saat ve titreşerek size bildirir.Japon sesine zaman dikkat edin.
-
SVATS Ücret -siz
SVATS [Spice'a Eklenen Güvenlik Doğrulama Analizi] Berkeley Spice benzeri simülasyon SW'yi kullanarak analog ve karışık analog-dijital elektronik devrelerde FMEA'ları gerçekleştirmek için tekrarlayan analiz yetenekleri ekleme
-
Cube Language Specification Ücret -siz
Küp dili yeni aproach dayalı yeni programlama dilidir: çok boyutlu programlama. Bu projenin amacı, profesyonelleri dil hakkında açık bir tartışmaya davet etmek ve bir belirtim oluşturmaktır.
-
Arrowhead Collector Ücret -siz
Ok başlarının yüzey toplayıcıları için "olması gerekir" uygulaması. Burada çok yararlı bulacaksınız özelliklerin bir vurgulamak:- Yeni bulunan bir obje için telefonunuzun GPS ile konumunu kaydetmek- daha sonra fotoğraf
-
eYe project Ücret -siz
eYe Projesi, Windows çevresinde Sambar Webserver, MySql veritabanı ve PhP dağıtımıdır. Tam yapılandırılmış, kullanıma hazır. Ayrıca bu projede kullanılabilecek çok sayıda modül bulunmaktadır. Kavram tam bir web-veritabanı sun
-
Apache Analyzer Ücret -siz
Apache Analyzer, Apache günlüklerinin ayrıştırma ve analizi için bir Java uygulama paketidir. Raporlar PDF dosyası olarak hazırlanır. OCEAN GenRap verileri analiz etmek için kullanılır. Dokümanlar sayfasındaGenel Bilgilere gö
-
OVal - object validation framework Ücret -siz
OVal, Java 5 veya sonraki leri için genişletilebilir bir nesne doğrulama çerçevesidir. Ek açıklamalar (@NotNull) veya XML yapılandırma dosyaları sınıf kısıtlamalarını ifade etmek için kullanılabilir. OVal isteğe bağlı olarak
-
NaturalOWL Ücret -siz
NaturalOWL, RDF'de ifade edilen dilsel ve kullanıcı modelleme kaynaklarıyla açıklamayapılan OWL ontolojilerinden bireylerin ve sınıfların açıklamalarını oluşturur. Şu anda İngilizce ve Yunanca destekler. NaturalOWL bir Protg
-
NetBeans Source Viewer Service Plugin Ücret -siz
Bir NetBeans eklentisi harici istemcilere temel Java kaynak kodu görüntüleme ve gezinme yetenekleri veren basit bir TCP hizmeti açığa. softwarepearls.com tarafından katkıda bulunmuştur. Ivo Tripunovic ve Laurence Vanhelsuw ta
-
Spam Agent - SMS Filter Ücret -siz
SMS spam bıktınız mı? Spam Agent, istenmeyen postaları algılamak ve engellemek için makine öğrenimi tekniklerini kullanan akıllı bir SMS filtresidir. Hantal kara listeleri unutun, istenmeyen mesajları spam olarak işaretlemeni