comparison README_GRAAL.txt @ 11463:93c63975217e

Make ComputeProbabilityClosure more robust to probabilities that to infinity because of loops
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 29 Aug 2013 19:09:09 +0200
parents 3a6a718af535
children c106320fab79
comparison
equal deleted inserted replaced
11462:ff122ed4b9fd 11463:93c63975217e