M

mdpmin-valmari

MDP minimization tool from Antti Valmari