|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Fortress: Набор модулей для описания и преобразования формул и разрешения ограниченийсвидетельство о регистрации прав на ПО, базу данных
- Авторы: Камкин А.С., Татарников А.Д., Коцыняк А.М., Смолов С.А.
- Номер: 2017660813
- Дата получения: 27 сентября 2017 г.
- Тип ПО: SOFT
-
Описание:
Библиотека позволяет создавать формулы в форме синтаксических деревьев, транслировать их во внешние форматы (языки программирования высокого уровня, языки описания цифровой аппаратуры, а также XML и SMT-LIB), вычислять их значения и осуществлять их символическое упрощение. Также она позволяет решать ограничения при помощи внешних решателей (таких как Z3 и CVC4). Кроме этого библиотека содержит классы для описания битовых векторов и осуществления различных операций над ними, а также классы для генерации псевдослучайных значений различного типа.
- Добавил в систему: Камкин Александр Сергеевич