Свидетельство № 2001610157 Российская Федерация. Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Рождественский Ю.В.: заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 14.02.2001.
Программа предназначена для классификационного анализа систем булевых уравнений на полумодулярность и дистрибутивность. Программа ориентирована на использование при разработке самосинхронных электронных схем, не зависящих от задержек элементов или быстродействия электронных компонентов.
Dmitry