Matus Madzin - 2012-07-17

Can you describe the request a little bit more?

Algorithms are able to print message but they are not able to create an link to the counterexample.