GitHub repository: EPFL-CS-472/kitty
Primary language: C
Description: C++ truth table library