This article describes Guido - the only currently existing exact solver of Unconstrained Influence Diagrams (UIDs). UIDs are a graphical probrabilistic model used for optimal decisioning under uncertainty.