UG is originally a framework to parallelize state-of-the-art branch-and-bound based solvers to solve optimization problems such as constraint integer programs (CIPs) and mixed-integer (non-)linear programs. In particular
UG is a high-level task parallelization framework that is generalized, that means it can also handle both branch-and-bound-based and non-branch-and-bound based solvers starting from UG version 1.0.
See the web site ug.zib.de for more information about licensing and to download the recent release.
This manual gives an accessible introduction to the functionality of the UG code in the following chapters