Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Parallel Sat4J
  5. Download

Parallel Sat4J 0.01

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

Tentang Parallel Sat4J

Ini adalah proyek akademik; tujuan utamanya adalah untuk menghasilkan algoritma untuk mensejajarkan formula CNF dan kemudian memberi makan bagian yang didistribusikan ke pemecah SAT berurutan, untuk proyek ini kami telah memilih untuk menggunakan Sat4J sebagai pemecah.

Program Terkait

  • Visualgos Gratis

    Visualgos adalah kumpulan visualisasi untuk algoritma yang ditulis di Flash. Anda dapat melihat semua visualisasi di http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Gratis

    wxWorkshop adalah kerangka kerja IDE dan alat RAD untuk mengembangkan aplikasi berdasarkan kerangka kerja GUI lintas platform wxWidgets untuk C++ dan Python (wxPython). Ini fitur editor berkinerja tinggi untuk merancang sumbe

  • Unit Test Framework Gratis

    Kerangka kerja pengujian unit C++ untuk Windows dengan kedua tampilan grafis dan konsol yang hanya menggunakan API Windows untuk membantu kompatibilitas dengan semua Windows C++ kompilasi dan kerangka kerja

  • Contact: AndroidBinding Demo Uji Coba Gratis

    Ini adalah demo lain untuk Android Binding, yang didasarkan pada Sampel Android Contact Manager resmi: http://developer.android.com/resources/samples/ContactManager/index.htmlIni adalah contoh yang menunjukkan cara menggu

  • Poetica Studios Java Library Gratis

    Perpustakaan Umum Jawa yang digunakan oleh semua produk perangkat lunak Poetica Studios Java. Perpustakaan mencakup utilitas mulai dari serialisasi hingga array hingga debugging dan mencakup banyak kelas bermanfaat seperti p

  • Remote Code Execution for BlueJ Gratis

    Proyek ini memperluas BLUEJ Java IDE. Ini bertujuan untuk menambahkan kemampuan jaringan ke antarmuka BlueJ melalui API ekstensi BlueJ. Karena BlueJ paling cocok untuk mengajar Jawa kepada programmer baru proyek ini akan foku

  • Radiation calculator Uji Coba Gratis

    Aplikasi ini menghitung tingkat dosis dll dengan asumsi sumber titik dalam kekosongan dan pelemahan linier dalam melindungi bahan. Isotop dan bahan perisai dapat ditambahkan, dihapus, atau dimodifikasi.Konstanta laju gamm

  • Fermion Programming Language Gratis

    Bahasa Pemrograman Fermion adalah bahasa pemrograman tingkat tinggi, berorientasi objek, dan tidak sensitif yang dinamis. Kesederhanaan bahasa membuat Fermion menjadi bahasa belajar dan prototyping yang baik untuk semua tingk

  • Nmdepend Gratis

    Nmdepend adalah penganalisis dependensi 'link-time' ringan untuk C++. Ini menggunakan file objek dan pustaka alih-alih source-code sebagai input. Ini dapat membantu mengelola dependensi 'lintas direktori'. Dependensi dapat di

  • Awakener Gratis

    Awakener bertujuan untuk menyediakan perpustakaan Java untuk memecahkan masalah pengoptimalan dunia nyata yang praktis dengan algoritme genetik (algoritma turnkey untuk >= 90% masalah industri). Awakener memperluas Sleepwa