Some useful tools for conducting experiments

jkunlin bee080a19d fix bug of prun.sh		преди 8 години
graph_format	1d121b4687 prun	преди 8 години
machine_benchmark	1d121b4687 prun	преди 8 години
run_tools	1d121b4687 prun	преди 8 години
.gitignore	62905449fe dimacs2metis	преди 8 години
README.md	5a075ae78f Initial commit	преди 8 години
example.wclq	b8318d307f fix bug	преди 8 години
prun.sh	bee080a19d fix bug of prun.sh	преди 8 години
subgraph.cpp	1d121b4687 prun	преди 8 години

little_tools

Some useful tools for conducting experiments