GitHub repository: JouhainaNejjari/mockturtle
Description: C++ logic network library