Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. XML-SAT

XML-SAT

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

Модульный решателер SAT на основе Minisat. Модули описаны в XML-файлах, которые обрабатываются перл-скриптом; таким образом генерируя n-решатели.

история версии

  • Версия release размещено на 2010-04-24
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2010-04-24

Подробная информация о программе

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

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

    Час каждый час и уведомить вас, вибрируя.Обратите внимание на время японского голоса.

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

    SVATS «Анализ проверки безопасности, добавленный в Spice» — это инструмент Pyhton written EDA, используемый для добавления возможностей повторного анализа для выполнения FMEA на аналоговых и смешанных аналогово-цифровых элект

  • Cube Language Specification Бесплатный

    Кубовый язык — это новый язык программирования, основанный на новом aproach: многомерном программировании. Целью данного проекта является приглашение профессионалов на открытое обсуждение языка и создание спецификации.

  • Arrowhead Collector Бесплатный

    Приложение "должен иметь" для поверхностных коллекторов наконечников стрел. Вот основные функции, которые вы найдете, чтобы быть очень полезным:- для недавно найденного артефакта записать его местоположение с GPS вашего т

  • eYe project Бесплатный

    eYe Project является дистрибутивом Sambar Webserver, базы данных MySql и PhP в окружении Windows. Полный настроен, готов к использованию. Есть также много модулей, доступных для использования в этом проекте. Концепция заключа

  • Apache Analyzer Бесплатный

    Apache Analyzer - это пакет приложений Java для анализа и анализа журналов Apache. Отчеты готовятся в формате PDF-файлов. OCEAN GenRap используется для анализа данных. Заканчивать страницу вообще info в docs.

  • OVal - object validation framework Бесплатный

    OVal является функционой базой проверки объектов для Java 5 или позже. Аннотации (@NotNull) или XML-файлы конфигурации могут быть использованы для выражения ограничений класса. OVal может дополнительно использовать AspectJ дл

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

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

  • NetBeans Source Viewer Service Plugin Бесплатный

    Плагин NetBeans, разоблачающий простую услугу TCP, предоставляя внешним клиентам базовые возможности просмотра и навигации java-кода. Внес свой вклад softwarepearls.com. Под кодовым кодом Иво Трипунович и Лоуренс Ванхелсув.

  • Spam Agent - SMS Filter Бесплатный

    Устали от SMS спама? Spam Agent - это интеллектуальный SMS-фильтр, который использует методы машинного обучения для обнаружения и блокировки спама. Забудьте о громоздких черных списках, просто отметите нежелательные сообщения