For more informations visit http://www.fit.vutbr.cz/research/groups/knot/ or our main webserver on http://knot.fit.vutbr.cz/