EDA逻辑综合常用算法的实现，包括立方体的相交、包含、锐积，以及使用锐积法求质立方体、选拔法求最小化覆盖等算法。-Commonly used logic synthesis EDA algorithm, including the intersection of the cube, including, sharp plot, and the use of sharp cube quadrature method demand quality, selection method to minimize coverage algorithm.