BDD compression
Вы сможете скачать в течение 5 секунд.
Вы также можете нажать на следующую внешнюю ссылку скачать, чтобы начать загрузку:
http://sourceforge.net/projects/bddcompression/files/bddcompression/Source%20Files%20%2B%20Paper/bddcompression.zip/download
О BDD compression
Алгоритм сжатия и декомпрессии диаграмм бинарных решений во многих случаях уменьшит размер BDD до 1-2 битов на узел.
Похожие программы
-
QuickSearcher Бесплатный
Быстрый поиск является инструментом поиска файлов. Решено превосходство Предварительный просмотр для поиска текста (а также предварительный просмотр графических файлов), возможность поиска в нескольких папках (многоканальный
-
Spyware Firewall Бесплатный
Блок шпионских программ, прежде чем он достигнет вашего компьютера не потом и остановить шпионские связи. Шпионский брандмауэр защищает ваш компьютер, отслеживая ваше соединение в режиме реального времени и отказывая в дос
-
Xpert Security Pack Бесплатный
Пакет безопасности Xpert обеспечивает необходимую защиту от спама, хакеров и угроз конфиденциальности. Antispam Engine является лучшим и наиболее настраиваемым решением против спрема. Пароль Контейнер хранит личные данные и х
-
MyVirtualDisk Бесплатный
Прекратите терять сон из-за потерянных или поврежденных файлов.Если вы потеряли один файл, или весь жесткий диск, вы знаете, разрушительное воздействие такого события может оказать на вашу производительность и вашу жизнь. M
-
PCC USB & Hardware Version Бесплатная пробная версия
PcC (Профессиональный компьютерный контроль ) серия продуктов предоставляет утилиты для пользователей, чтобы контролировать свои компьютеры. Основные функции включают управление безопасностью файлов, управление безопасностью
-
Tivodecode GUI Бесплатный
Простой интерфейс GUI для приложения tivodecode. Кроме того, включает в себя поддержку для размера файлов с помощью ffmpeg. Требуется Gambas2, tivodecode и ffmpeg.
-
Merlin for Nagios Бесплатный
Merlin (Module for Effortless Redundancy and Loadbalancing In Nagios) — это простой способ настройки распределенных установок Nagios, позволяющий процессам Nagios обмениваться информацией непосредственно в качестве альтернати
-
XPlanner Бесплатный
XPlanner — это веб-инструмент планирования и отслеживания проектов для групп гибкой разработки (XP, Scrum, ...). XPlanner реализуется с использованием Java, JSP и Struts, Hibernate и MyS'L. Более подробная информация на http:
-
SafiServer FreePBX Module Бесплатный
Модуль дополнения, чтобы помочь с развертыванием приложений SafiServer в системах на базе Asterisk/FreePBX. Модуль позволит администраторам ссылаться на Saflets (графический поток вызова / IVR приложений) с помощью веб-интерф
-
DVD Home Video Project Бесплатный
DVD-homevideo это проект, который я разработал, потому что взять совсем немного домашнего видео, и я искал простой, быстрый способ превратить видео на моем dv видеокамеры в полностью функциональный DVD, включая меню с дополни