Tốt Phần mềm toán học Cho Pierre Sarrazin

BoolStuff là một thư viện C có thể hỗ trợ một số hoạt động trên biểu hiện cây nhị phân boolean.Một lệnh có tên booldnf mà các cuộc gọi thư viện này để chuyển đổi một biểu cho sự DNF cũng được cung cấp Tính năng . đơn giản biểu hiện phân tích cú...