Revision f0edf8f4ad6384e7d4be49072359149b839a428a

Committed on 20/12/2015 1:17 pm by Luca Realdi <lr@opencontent.it> [GitHub Diff]

parametrize heuristic