Belief-Computation-Library