Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете […]
Лицензия Zlib Лицензия zlib Разрешительная лицензия для свободного ПО, определяет условия использования zlib. Используется многими другими пакетами свободного ПО. Совместима
DNF (программное обеспечение) Обзор менеджера пакетов DNF DNF — это улучшенная версия менеджера пакетов yum для Linux на основе RPM.
Ознакомьтесь с документами Обзор платформы Read the Docs Read the Docs — платформа для документации по ПО с открытым исходным
Амстердамский набор для компиляции Обзор Amsterdam Compiler Kit (ACK) ACK — это набор компиляторов и инструментов, разработанный Эндрю Таненбаумом и
Василиск II Обзор эмулятора Basilisk II Basilisk II эмулирует компьютеры Macintosh на базе Motorola 68000. Программное обеспечение кроссплатформенное и совместимо
Печатная плата (программное обеспечение) Обзор PCB PCB — это бесплатный программный комплекс для EDA, разработанный Томасом Нау в 1990 году.