The Belief Package and Other Software