Provides MLN inference algorithms. Currently supports MAP inference and Marginal inference.