Huskal-Based Heuristic stage 1 finished
Merge branch 'master' of https://github.com/Logic4Twisted/RDCMST