A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
Primary LanguageC++GNU General Public License v3.0GPL-3.0