A boolean abstraction library using bitwise functions