git
Merge branch 'master' of https://github.com/maloneyg/substitution-search
Merge branch 'master' of https://github.com/maloneyg/substitution-search
Added jgrapht again. I've got to remove it from BasicTriangle/.
Removed jgrapht from BasicTriangle, left it in the root directory.