Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Parallel Sat4J
  5. Download

Parallel Sat4J 0.01

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O Parallel Sat4J

Jest to projekt akademicki; głównym celem jest wygenerowanie algorytmu do równoległości formuły CNF, a następnie podawanie rozproszonych części do sekwencyjnych solverów SAT, w tym projekcie wybraliśmy użycie Sat4J jako solvera.

Programy pokrewne

  • Visualgos Wolna

    Visualgos to zbiór wizualizacji dla algorytmów napisanych w programie Flash. Możesz zobaczyć wszystkie wizualizacje na http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Wolna

    wxWorkshop to framework IDE i narzędzie RAD do tworzenia aplikacji opartych na wieloplatformowej ramach GUI wxWidgets dla C++ i Pythona (wxPython). Posiada edytor o wysokiej wydajności do wizualnego projektowania zasobów gui

  • Unit Test Framework Wolna

    Struktura testów jednostek języka C++ dla systemu Windows z graficzny i konsolowy wyświetlacz, który wykorzystuje tylko Interfejs API systemu Windows ułatwia łakomustwa ze wszystkimi systemami Windows C++ kompilatory i

  • Contact: AndroidBinding Demo Bezpłatna wersja próbna

    Jest to kolejna wersja demonstracyjna dla android binding, która jest oparta na oficjalnym przykładzie Menedżera kontaktów systemu Android: http://developer.android.com/resources/samples/ContactManager/index.htmlJest to p

  • Poetica Studios Java Library Wolna

    Ogólna biblioteka Java używana przez wszystkie oprogramowanie Poetica Studios Java. Biblioteka zawiera narzędzia, począwszy od serializacji do tablic do debugowania i zawiera wiele przydatnych klas, takich jak wskaźniki obie

  • Remote Code Execution for BlueJ Wolna

    Ten projekt rozszerza Ide BlueJ Java. Jego celem jest dodanie możliwości sieciowych do interfejsu BlueJ za pośrednictwem interfejsu API rozszerzeń BlueJ. Ponieważ BlueJ jest najbardziej nadaje się do nauczania Java do nowych

  • Radiation calculator Bezpłatna wersja próbna

    Aplikacja oblicza dawki itp., przyjmując źródło punktów w próżni i liniowe tłumienie w materiałach osłonowych. Izotopy i materiały ekranujące mogą być dodawane, usuwane lub modyfikowane.Wstępnie zdefiniowane stałe szybkoś

  • Fermion Programming Language Wolna

    Fermion Programming Language jest dynamicznym językiem programowania wysokiego poziomu, zorientowanym obiektowo, bez uwzględniania wielkości liter. Prostota języka sprawia, że Fermion jest dobrym językiem nauki i prototypowan

  • Nmdepend Wolna

    Nmdepend jest lekkim analizatorem zależności "czas łącza" dla języka C++. Używa plików obiektów i bibliotek zamiast kodu źródłowego jako dane wejściowe. Może pomóc w zarządzaniu zależnościami "cross-directory". Zależności mog

  • Awakener Wolna

    Awakener ma na celu zapewnienie biblioteki Java do rozwiązywania praktycznych problemów optymalizacji w świecie rzeczywistym za pomocą algorytmów genetycznych (algorytmy "pod klucz" dla >= 90% problemów branżowych). Awaken