GitHub repository: radigianluca/kitty
Description: C++ truth table library