• GpuBE : This code implements an inference-based algorithm which exploits Graphical Processing Units (GPUs) to speed up the resolution of exact and approximated inference-based algorithms for discrete optimization (e.g., WCSPs). For details, please refer to the original paper. Ferdinando Fioretto, Enrico Pontelli, William Yeoh, and Rina Dechter Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs, CoRR abs/1608.05288 (2016).

  • Merlin : Merlin is an extensible C++ library that implements state-of-the-art exact and approximate algorithms for probabilistic inference over graphical models including both directed and undirected models (e.g., Bayesian networks, Markov Random Fields). It can be used for many applications and research in bioinformatics, computer vision, or speech and language processing to name a few. Merlin supports the most common probabilistic inference tasks such as computing the partition function or probability of evidence (PR), posterior marginals (MAP), as well as MAP (also known as maximum aposteriori or most probable explanation) and marginal MAP configurations. By Radu Marinescu, IBM Research Ireland.

  • Daoopt : DAOOPT: Distributed AND/OR Optimization An implementation of sequential as well as distributed AND/OR Branch-and-Bound and its Breadth-Rotating AND/OR Branch-and-Bound enhancement for combinatorial optimization problems expressed as MPE (max-product) queries over graphical models like Bayes and Markov networks. By Lars Otten, University of California, Irvine.

  • IJGP-Sampling-SampleSearch : IJGP-Sampling-SampleSearch. By Vibhav Gogate

  • REES : REES: Reasoning Engine(s) Evaluation Shell. By Radu Marinescu, Kalev Kask and Rina Dechter