Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. XML-SAT

XML-SAT

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Pemecah SAT modular berdasarkan Minisat. Modul dijelaskan dalam file XML, yang diproses oleh skrip perl; sehingga menghasilkan n-solver.

Riwayat versi

  • Versi release diposting di 2010-04-24
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2010-04-24

Detil Program

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