I looked for a while and http://www-i6.informatik.rwth-aachen.de/unravel/ seems to be state-of-the-art.