Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. Parallel Sat4J
  5. Download

Parallel Sat4J 0.01

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy

Hakkı -nda Parallel Sat4J

Bu akademik bir projedir; ana amaç bir CNF formülü paralelleştirmek için bir algoritma oluşturmak ve daha sonra sıralı SAT çözücüler için dağıtılan parçaları beslemek, bu proje için çözücü olarak Sat4J kullanmayı tercih var.

İlgili Programlar

  • Visualgos Ücret -siz

    Visualgos, Flash'ta yazılmış algoritmalar için görselleştirmeler topluluğudur. tüm görselleri http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Ücret -siz

    wxWorkshop C ++ ve Python (wxPython) için wxWidgets çapraz platform GUI çerçevedayalı uygulamalar geliştirmek için bir IDE çerçeve ve RAD aracıdır. Bir uygulamanın GUI kaynaklarını görsel olarak tasarlamak için yüksek perform

  • Unit Test Framework Ücret -siz

    Windows için c++ birim test çerçevesi, her ikisi de yalnızca kullanan grafik sel ve konsol ekranı Tüm Windows C++ ile uyumluluk yardımcı olmak için Windows API derleyiciler ve çerçeveler

  • Contact: AndroidBinding Demo Ücretsiz Deneme

    Bu Android Bağlama için başka bir demo, hangi resmi Android İletişim Yöneticisi Örnek dayanmaktadır: http://developer.android.com/resources/samples/ContactManager/index.htmlBu, Android Bağlama'nın kullanılmasının orijinal

  • Poetica Studios Java Library Ücret -siz

    Tüm Poetica Studios Java yazılım ürünleri tarafından kullanılan genel bir Java kütüphanesi. Kitaplık, serileştirmeden dizilere ve hata ayıklığına kadar çeşitli yardımcı programlar içerir ve nesne işaretçileri ve depolanmış e

  • Remote Code Execution for BlueJ Ücret -siz

    Bu proje BlueJ Java IDE genişletir. BlueJ uzantıları API aracılığıyla BlueJ arayüzüne ağ yetenekleri eklemeyi amaçlamaktadır. BlueJ en yeni programcılara Java öğretimi için uygun olduğundan bu proje öğretim üzerinde durulacak

  • Radiation calculator Ücretsiz Deneme

    Uygulama doz oranları vb vakum ve koruma malzemeleri doğrusal zayıflama bir nokta kaynağı varsayarak hesaplar. İzotoplar ve koruma malzemeleri eklenebilir, silinebilir veya değiştirilebilir.Önceden tanımlanmış gama hızı s

  • Fermion Programming Language Ücret -siz

    Fermion Programlama Dili dinamik bir üst düzey, nesne yönelimli, büyük/küçük harf duyarsız programlama dilidir. Dilin basitliği Fermion iyi bir öğrenme ve programcıların her düzeyde için prototip dil yapar.

  • Nmdepend Ücret -siz

    Nmdepend, C++'ın hafif bir 'bağlantı süresi' bağımlılık çözümleyicisidir. Giriş olarak kaynak kodu yerine nesne dosyalarını ve kitaplıklarını kullanır. 'Çapraz dizin' bağımlılıklarının yönetilmesine yardımcı olabilir. Bağımlı

  • Awakener Ücret -siz

    Awakener, genetik algoritmalar (endüstri sorunlarının %90'ı için anahtar teslim algoritmalar) yoluyla pratik, gerçek dünya optimizasyonu sorunlarını çözmek için bir Java kütüphanesi sağlamayı amaçlamaktadır. Awakener belirli