GitHub repository: lyubov888L/tt
Description: a Pythonic toolkit for working with Boolean expressions