BoolStuff

BoolStuff 0.1.14

BoolStuff библиотека C, которая может поддерживать несколько операций на булевых выражений бинарных деревьев.Команда имени booldnf, что вызывает эту библиотеку, чтобы преобразовать выражение в ДНФ также предоставляется Особенности :. простой...