Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Parallel Sat4J
  5. Download

Parallel Sat4J 0.01

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

О Parallel Sat4J

Это академический проект; основная цель заключается в создании алгоритма параллелизации формулы CNF, а затем кормить распределенных частей для последовательных SAT решателей, для этого проекта мы решили использовать Sat4J в качестве решатера.

Похожие программы

  • Visualgos Бесплатный

    Visualgos представляет собой набор визуализаций для алгоритмов, написанных в Flash. Вы можете увидеть все визуализации на http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Бесплатный

    wxWorkshop — это платформа IDE и инструмент RAD для разработки приложений, основанных на кросс-платформенной gui-платформе wxWidgets для C и Python (wxPython). Он оснащен высокую производительность редактора для проектировани

  • Unit Test Framework Бесплатный

    Тестовая база для Windows с графический и консольный дисплей, который использует только Windows API, чтобы помочь совместимости со всеми Windows C компиляторы и фреймворки

  • Contact: AndroidBinding Demo Бесплатная пробная версия

    Это еще одна демо для Android Binding, которая основана на официальном Android Контакт менеджер Пример: http://developer.android.com/resources/samples/ContactManager/index.htmlЭто пример, показывающий, как использование A

  • Poetica Studios Java Library Бесплатный

    Общая библиотека Java, используемая всеми программными продуктами Poetica Studios Java. Библиотека включает в себя утилиты, начиная от сериализации и массивов и отладки, и включает в себя множество полезных классов, таких ка

  • Remote Code Execution for BlueJ Бесплатный

    Этот проект расширяет BlueJ Java IDE. Она направлена на добавление сетевых возможностей в интерфейс BlueJ через API расширений BlueJ. Поскольку BlueJ больше всего подходит для обучения Java новым программистам, этот проект бу

  • Radiation calculator Бесплатная пробная версия

    Приложение вычисляет ставки дозы и т.д., предполагая, что точечный источник в вакууме и линейное затухание в защитных материалах. Изотопы и защитные материалы могут быть добавлены, удалены или изменены.В Интернете были об

  • Fermion Programming Language Бесплатный

    Язык программирования Fermion — это динамичный высокоуровневый, объектно-ориентированный, нечувствительный язык программирования. Простота языка делает Fermion хорошим языком обучения и прототипирования для всех уровней прогр

  • Nmdepend Бесплатный

    Nmdepend — это легкий анализатор зависимостей «ссылка-время» для СЗ. В качестве ввода он использует файлы объектов и библиотеки вместо исходных кодов. Это может помочь управлять зависимостями «кросс-директора». Зависимости мо

  • Awakener Бесплатный

    Awakener стремится предоставить библиотеку Java для решения практических, реальных проблем оптимизации мира с помощью генетических алгоритмов (алгоритмы под ключ для 90% отраслевых проблем). Awakener расширяет Sleepwalker с к