Experimental support for simplified judgement types#1162

deboer-tim merged 1 commit intoicpctools:mainicpctools/icpctools:mainfrom

deboer-tim:simplified-judgement-typesdeboer-tim/icpctools:simplified-judgement-typesCopy head branch name to clipboard