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

Dolphin Project 0.1.1

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

Проект «Дельфин» предназначен для агрегации инструментов исследовательского проекта, связанных с инструментами и инструментами Open Source Satisfiability Solver, такими как связанные с ними проверки моделей и модификаторы программного обеспечения.

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

  • Версия Dolphin%20SAT%200.1.1 размещено на 2008-03-02
    Несколько исправлений и обновлений
  • Версия Dolphin SAT 0.1.1 размещено на 2008-03-02

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

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

  • Object Kernel and RunTime Library Бесплатный

    Это крошечная образовательная библиотека : smalltalk, как объекты, быстрая память распределитель, сетевой маршал / unmarshall, динамический модуль, отладка, быстрый и грязный двухсторонняя связь между нашими объектами и Mozil

  • College StatsPac Calculator Бесплатный

    Ожидать больше, чем график! - Полный возврат средств, 24 часа, если не удовлетворены App!^_^!-Всеобъемлющая статистика--с полным пакетом Graphing-StatsPac предлагает:8 Функции дискретной вероятности,7 Функции непрер

  • TOEIC () 600 Бесплатный

    Logitalk (Слушание) - (TOEIC) 600.(Слушая) . .и #39; TOEIC () 600 и #39; 600 ..Сценарий.Logitalk ? , , .

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

    Простой скрипт командной строки python для пакетного проектирования уникальных праймеров PCR. Праймеры разработаны с использованием Primer3 и взорвали против пользовательской базы данных (например, геном). Возвращаются толь

  • A Prosperous Way Down Бесплатная пробная версия

    Процветающий путь вниз, опубликованные Университетской прессы КолорадоКупите эту электронную книгу без DRM уже сегодня! Работает на Aldiko.Процветающий путь вниз рассматривает пути, в которых будущее с меньшим количест

  • DICOM Confidential Бесплатный

    Проект DICOM Confidential разрабатывает инструментарий для деидентификации с открытым исходным кодом DICOM (Digital Imaging and Communications in Medicine), который обеспечивает необходимую гибкость для учета различных требов

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

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

  • DuMP3 - duplicate & similar file finder Бесплатный

    DuMP3 является дубликатом и аналогичным поиском файлов. Он находит точные дубликаты дроби по хэшу, аналогичные текстовые файлы по субструации контента, изображений (JPG, BMP, GIF, PNG и т.д.) по цвету и аудио файлов (MP3, WAV

  • AU FLUKA Tools Бесплатный

    Предоставляет вспомогательные инструменты для транспортного кода частиц Монте-Карло FLUKA (www.fluka.org).

  • STAS Software Бесплатный

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