Multi-language evaluation of exact solvers in graphical model discrete optimization