História revízii

Autor SHA1 Správa Dátum
  jkunlin b8318d307f fix bug 8 rokov pred
  jkunlin 4019fdbdc0 dimacs2txt, with bug 8 rokov pred
  jkunlin a2174936ef Merge branch 'master' of git.heuristics.ml:jkunlin/little_tools 8 rokov pred
  jkunlin 7576315a4b add prun.py 8 rokov pred
  jkunlin 1acbb6507e fix bug. dealing with float weights 8 rokov pred
  jkunlin 5fbbc57634 add graphml2dimacs.py 8 rokov pred
  jkunlin 5a075ae78f Initial commit 8 rokov pred