Software for boolean functions minimization using D-algorithm (Roth)