Some useful tools for conducting experiments

jkunlin d1f30c6438 Merge branch 'master' of git.heuristics.ml:jkunlin/little_tools %!s(int64=7) %!d(string=hai) anos
acts2cnf 1956aaaf80 acts2cnf %!s(int64=7) %!d(string=hai) anos
arch_tool b685f40a61 feat: 2019.06.12 %!s(int64=7) %!d(string=hai) anos
graph_format 1d121b4687 prun %!s(int64=8) %!d(string=hai) anos
machine_benchmark 1d121b4687 prun %!s(int64=8) %!d(string=hai) anos
run_tools 357b790e33 minor %!s(int64=8) %!d(string=hai) anos
stat b685f40a61 feat: 2019.06.12 %!s(int64=7) %!d(string=hai) anos
.gitignore b3a133b4a5 arch tool %!s(int64=8) %!d(string=hai) anos
README.md 5a075ae78f Initial commit %!s(int64=8) %!d(string=hai) anos
example.wclq b8318d307f fix bug %!s(int64=8) %!d(string=hai) anos
filter.cpp b685f40a61 feat: 2019.06.12 %!s(int64=7) %!d(string=hai) anos
subgraph.cpp 1d121b4687 prun %!s(int64=8) %!d(string=hai) anos

README.md

little_tools

Some useful tools for conducting experiments