GitHub repository: AutoProving/TreeWidzard-Engine
Primary language: C++
Description: An engine for the development of algorithms parameterized by treewidth