Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Parallel Sat4J

Parallel Sat4J 0.01

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

Ini adalah projek akademik; objektif utama adalah untuk menjana algoritma untuk selari formula CNF dan kemudian memberi makan bahagian-bahagian yang diagihkan kepada pelarut SAT berjujukan, untuk projek ini kita telah memilih untuk menggunakan Sat4J sebagai pelarut.

sejarah versi

  • Versi 0.01 diposkan pada 2008-03-26
    Beberapa pembaikan dan pengemaskinian
  • Versi 0.01 diposkan pada 2008-03-26

Butiran Atur Cara

Atur Cara Berkaitan

  • Visualgos Percuma

    Visualgos adalah koleksi visualizations untuk algoritma yang ditulis dalam Flash. Anda boleh melihat semua visualizations di http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Percuma

    wxWorkshop adalah rangka kerja IDE dan alat RAD untuk membangunkan aplikasi berdasarkan rangka kerja GUI rentas platform wxWidgets untuk C++ dan Python (wxPython). Ia mempunyai editor berpaksikan tinggi untuk mereka bentuk su

  • Unit Test Framework Percuma

    Rangka kerja ujian unit C++ untuk Windows dengan kedua-dua paparan grafik dan konsol yang menggunakan hanya API Windows untuk membantu keserasian dengan semua Windows C++ penyuseling dan rangka kerja

  • Contact: AndroidBinding Demo Percubaan Percuma

    Ini adalah satu lagi demo untuk Android Mengikat, yang berdasarkan Sampel Pengurus Hubungan Android rasmi: http://developer.android.com/resources/samples/ContactManager/index.htmlIni adalah contoh yang menunjukkan bagaima

  • Poetica Studios Java Library Percuma

    Perpustakaan Jawa umum yang digunakan oleh semua produk perisian Poetica Studios Java. Perpustakaan termasuk utiliti yang terdiri daripada penyiaran kepada tatatertib untuk nyahpepijat dan merangkumi banyak kelas berguna sep

  • Remote Code Execution for BlueJ Percuma

    Projek ini memperluaskan BlueJ Java IDE. Ia bertujuan untuk menambah keupayaan rangkaian ke antara muka BlueJ melalui API lanjutan BlueJ. Memandangkan BlueJ paling sesuai untuk mengajar Jawa kepada pengaturcara baru projek in

  • Radiation calculator Percubaan Percuma

    Aplikasi ini mengira kadar dos dan lain-lain dengan andaian sumber titik dalam vakum dan attenuasi linear dalam bahan pelindung. Isotopes dan bahan perisai boleh ditambah, dipadam atau diubahsuai.Pemalar kadar gamma yang

  • Fermion Programming Language Percuma

    Bahasa Pengaturcaraan Fermion adalah bahasa pengaturcaraan yang dinamik, berorientasikan objek, kes tidak sensitif. Kesederhanaan bahasa menjadikan Fermion sebagai bahasa pembelajaran dan prototaip yang baik untuk semua perin

  • Nmdepend Percuma

    Nmdepend adalah penganalisis pergantungan 'link-time' ringan untuk C++. Ia menggunakan fail objek dan perpustakaan dan bukannya kod sumber sebagai input. Ia boleh membantu menguruskan kebergantungan 'rentas direktori'. Keberg

  • Awakener Percuma

    Awakener bertujuan untuk menyediakan perpustakaan Java untuk menyelesaikan masalah pengoptimuman dunia sebenar dengan cara algoritma genetik (algoritma turnkey untuk >= 90% masalah industri). Awakener memperluaskan Sleepwa