yebool (npm): Implementation of Espresso-II method for heuristic minimization of single output boolean functions
Keywords: logic|sat