Logic optimization library
BLIF parser supporting all known extensions
Boolean functions implementation, represented as lookup tables (LUT) or sum-of-products (SOP)