BEval is a tool to systematize the evaluation of B expressions from AtelierB using the different parameters with ProB. - View it on GitHub