19 Jul
2023
19 Jul
'23
10:03 a.m.
Dear all, please register your tools by editing Y2023/info.php of https://github.com/TermCOMP/starexec-master/ by August 6. The registration status can be monitored here: https://termcomp.herokuapp.com/Y2023/ Best, Akihisa