Library for defining programming problems Used by cats-main and cats-judge. Licensed under GPL v2 or later, see COPYING file.