opengm/opengm-externals — pull request #5 by DerThorsten (2014-07-09 13:00:00+00:00)
Title: added options to cmakelist, added libdai

added options to cmakelist, added libdai