Some useful tools for conducting experiments

jkunlin bee080a19d fix bug of prun.sh 8 rokov pred
graph_format 1d121b4687 prun 8 rokov pred
machine_benchmark 1d121b4687 prun 8 rokov pred
run_tools 1d121b4687 prun 8 rokov pred
.gitignore 62905449fe dimacs2metis 8 rokov pred
README.md 5a075ae78f Initial commit 8 rokov pred
example.wclq b8318d307f fix bug 8 rokov pred
prun.sh bee080a19d fix bug of prun.sh 8 rokov pred
subgraph.cpp 1d121b4687 prun 8 rokov pred

README.md

little_tools

Some useful tools for conducting experiments