azure97

Pinned Repositories

toc-nov-16
TOKI Open Contest November 2016
Language:C++0 6 00
htd_validate
Checker for hypertree decompositions
Language:Python0 2 00
Jdrasil
A Modular Library for Computing Tree Decompositions
Language:C00
os171
Language:Shell00
training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia.
Language:TeX0 2 01
vc_validate
A tool for validating vertex covers of a given graph
Language:Python0 2 00
htd_validate
Checker for hypertree decompositions
Language:Python5 6 04
vc_validate
A tool for validating vertex covers of a given graph
Language:Python2 3 11
osn-2018
OSN 2018 Bidang Informatika
Language:C++2 10 01
training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia
Language:TeX45 12 10834

azure97's Repositories

azure97/htd_validate
Checker for hypertree decompositions
Language:Python0 2 00
azure97/Jdrasil
A Modular Library for Computing Tree Decompositions
Language:C00
azure97/os171
Language:Shell00
azure97/training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia.
Language:TeX0 2 01
azure97/vc_validate
A tool for validating vertex covers of a given graph
Language:Python0 2 00