GitHub repository: raki123/htd_validate
Description: Checker for hypertree decompositions