Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. XML-SAT

XML-SAT

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

Pelarut SAT modular berdasarkan Minisat. Modul diterangkan dalam fail XML, yang diproses oleh skrip perl; dengan itu menjana n-solver.

sejarah versi

  • Versi release diposkan pada 2010-04-24
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-04-24

Butiran Atur Cara

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