Implemented algorithms for finding the dimension of a given poset (exact and heuristic based) - #4

Implemented algorithms for finding the dimension of a given poset (exact and heuristic based)#4

LeoEnglert wants to merge 4 commits into

domduerr:maindomduerr/odis:mainfrom

LeoEnglert:mainLeoEnglert/odis:mainCopy head branch name to clipboard