XML-SAT
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Tentang XML-SAT
Pemecah SAT modular berdasarkan Minisat. Modul dijelaskan dalam file XML, yang diproses oleh skrip perl; sehingga menghasilkan n-solver.
Program Terkait
-
TimeSignalForDroid Gratis
Jam setiap jam dan memberi tahu Anda dengan bergetar.Perhatikan waktu untuk suara Jepang.
-
SVATS Gratis
SVATS [Analisis Verifikasi Keselamatan ditambahkan To Spice] adalah alat EDA tertulis Pyhton yang digunakan untuk menambahkan kemampuan analisis berulang untuk melakukan FMEAs pada sirkuit elektronik analog dan analog-digital
-
Cube Language Specification Gratis
Bahasa kubus adalah bahasa pemrograman baru, berdasarkan aproach baru: pemrograman multi-dimensi. Tujuan dari proyek ini adalah untuk mengundang para profesional ke diskusi terbuka tentang bahasa dan membuat spesifikasi.
-
Arrowhead Collector Gratis
Aplikasi "harus memiliki" untuk kolektor permukaan kepala panah. Berikut adalah sorotan dari fitur-fitur yang menurut Anda sangat berguna:- untuk artefak yang baru ditemukan merekam lokasinya dengan GPS ponsel Anda- amb
-
eYe project Gratis
eYe Project adalah distribusi Sambar Webserver, database MySql dan PhP dalam lingkungan Windows. Selesai dikonfigurasi, siap digunakan. Ada juga banyak modul yang tersedia untuk digunakan dalam proyek ini. Konsepnya adalah un
-
Apache Analyzer Gratis
Apache Analyzer adalah paket aplikasi Java untuk penguraian dan analisis log Apache. Laporan disiapkan sebagai file PDF. OCEAN GenRap digunakan untuk menganalisis data. Lihat Info Umum di halaman Dokumen.
-
OVal - object validation framework Gratis
OVal adalah kerangka kerja validasi objek yang dapat diperluas untuk Java 5 atau yang lebih baru. Anotasi (@NotNull) atau file konfigurasi XML dapat digunakan untuk mengekspresikan batasan kelas. OVal dapat secara opsional me
-
NaturalOWL Gratis
NaturalOWL menghasilkan deskripsi individu dan kelas dari ontologi OWL yang telah dianotasikan dengan sumber daya linguistik dan pemodelan pengguna yang dinyatakan dalam RDF. Saat ini mendukung bahasa Inggris dan Yunani. Natu
-
NetBeans Source Viewer Service Plugin Gratis
Plugin NetBeans yang mengekspos layanan TCP sederhana yang memberikan klien eksternal dasar tampilan kode sumber Java dan kemampuan menavigasi. Disumbangkan oleh softwarepearls.com. Dikodekan oleh Ivo Tripunovic dan Laurence
-
Spam Agent - SMS Filter Gratis
Bosan dengan SPAM SMS? Spam Agent adalah filter SMS pintar yang menggunakan teknik machine learning untuk mendeteksi dan memblokir spam. Lupakan daftar hitam yang rumit, cukup tandai pesan yang tidak diminta sebagai spam dan