Muhammad Ayaz Dzulfikar's repositories
htd_validate
Checker for hypertree decompositions
Language:PythonGPL-3.0000
Jdrasil
A Modular Library for Computing Tree Decompositions
Language:CNOASSERTION000
Language:Shell000
training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia.
Language:TeX000
vc_validate
A tool for validating vertex covers of a given graph
Language:PythonGPL-3.0000