A tool witch list all candidate keys for the given attribute set and functional dependencies. This tool use a very simple implementation without much optimisation.