XML-SAT
Вы сможете скачать в течение 5 секунд.
Вы также можете нажать на следующую внешнюю ссылку скачать, чтобы начать загрузку:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
О XML-SAT
Модульный решателер SAT на основе Minisat. Модули описаны в XML-файлах, которые обрабатываются перл-скриптом; таким образом генерируя n-решатели.
Похожие программы
-
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-фильтр, который использует методы машинного обучения для обнаружения и блокировки спама. Забудьте о громоздких черных списках, просто отметите нежелательные сообщения