XML-SAT
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Tentang XML-SAT
Pelarut SAT modular berdasarkan Minisat. Modul diterangkan dalam fail XML, yang diproses oleh skrip perl; dengan itu menjana n-solver.
Atur Cara Berkaitan
-
TimeSignalForDroid Percuma
Jam setiap jam dan memberitahu anda dengan bergegas.Perhatikan masa untuk suara Jepun.
-
SVATS Percuma
SVATS [Analisis Pengesahan Keselamatan ditambah Kepada Spice] adalah alat EDA bertulis Pyhton yang digunakan untuk menambah keupayaan analisis berulang-ulang untuk melaksanakan FMEAs pada analog dan campuran litar elektronik
-
Cube Language Specification Percuma
Bahasa kiub adalah bahasa pengaturcaraan baru, berdasarkan aproach baru: pengaturcaraan pelbagai dimensi. Tujuan projek ini adalah untuk menjemput profesional untuk perbincangan terbuka mengenai bahasa dan membuat spesifikasi
-
Arrowhead Collector Percuma
Aplikasi "mesti mempunyai" untuk pengumpul permukaan kepala anak panah. Berikut adalah kemuncak ciri-ciri yang anda akan dapati sangat berguna:- untuk artifak yang baru ditemui merekodkan lokasinya dengan GPS telefon anda
-
eYe project Percuma
Projek eYe adalah pengedaran Sambar Webserver, pangkalan data MySql dan PhP dalam enviroment Windows. Lengkap dikonfigurasikan, sedia untuk digunakan. Terdapat juga banyak modul yang boleh digunakan dalam projek ini. Konsepny
-
Apache Analyzer Percuma
Apache Analyzer adalah pakej aplikasi Java untuk penghuraian dan analisis balak Apache. Laporan disediakan sebagai fail PDF. Ocean GenRap digunakan untuk menganalisis data. Semak Maklumat Umum dalam halaman Dokumen.
-
OVal - object validation framework Percuma
OVal adalah rangka kerja pengesahan objek yang boleh diperluas untuk Java 5 atau lebih baru. Anotasi (@NotNull) atau fail konfigurasi XML boleh digunakan untuk menyatakan kekangan kelas. OVal boleh menggunakan AspectJ secara
-
NaturalOWL Percuma
NaturalOWL menjana penerangan individu dan kelas dari ontologi OWL yang telah diaotasikan dengan sumber pemodelan linguistik dan pengguna yang dinyatakan dalam RDF. Pada masa ini ia menyokong Bahasa Inggeris dan Yunani. Natur
-
NetBeans Source Viewer Service Plugin Percuma
Plugin NetBeans mendedahkan perkhidmatan TCP yang mudah memberikan pelanggan luaran asas Java sumber kod melihat dan menavigasi keupayaan. Disumbangkan oleh softwarepearls.com. Dikodkan oleh Ivo Tripunovic dan Laurence Vanhel
-
Spam Agent - SMS Filter Percuma
Bosan dengan spam SMS? Ejen Spam adalah penapis SMS pintar yang menggunakan teknik pembelajaran mesin untuk mengesan dan menyekat spam. Lupakan tentang senarai hitam yang rumit, hanya tandakan mesej yang tidak diminta sebagai