电科大佬的文档: https://reimu.red/?p=3202 https://github.com/icpctools/icpctools https://tools.icpc.global/ https://www.domjudge.org/