PaCAL - ProbAbilistic CALculator
