Geeks
holgerdell
/
td-validate
A validity checker for tree decompositions
Primary Language
C++
MIT License
MIT
td-validate GitHub
Markdown
Readme
0
Issues
5
Stargazers
5
Watchers
Stargazers
Kerry12342
lichengzhang2
make-github-pseudonymous-again
Joined on Sep 24, 2012
mfjones
@aurora-tech
wenchieh
National University of Singapore (NUS)