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
termtools@lists.rwth-aachen.de