Fedora why package: Contains the main why executable and supporting tools. Consider visiting the main Why site - http://why.lri.fr - for more documentation. Also, there is more information about the tools Caduceus and Krakatoa at http://caduceus.lri.fr and http://krakatoa.lri.fr respectively.