Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). - William Snell; Dirk Pattinson; Florian Widmann (LPAR, 2012)