The library allows to validate a given hypertree decomposition and versions, in particular, fractionalhypertree decompositions.
The library also provides data structures for hypergraphs (following the networkx API) and decompositions (text format extends the PACE 2017 specification for tree decompositions to hypergraphs and hypertree decompositions, generalized hypertree decompositions, and fractional hypertree decompositions).
git clone --recurse-submodules git@github.com:daajoe/fractionalhypertreewidth.gitpip install -r requirements.txtbin/htd_validate --helpbin/htd_validate -g hypergraphfile.gr -d hyperdecomposition.htd