/htd

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

Primary LanguageC++GNU General Public License v3.0GPL-3.0

Stargazers