[Termtools] Registration open for termCOMP 2022

Dear all, the GitHub repository is ready for termCOMP 2022 registration: https://github.com/TermCOMP/starexec-master I hope the instruction there is clear enough. Please post questions on this list otherwise. You can monitor the status of registration and run at http://termcomp.github.io/Y2022/ Best, Akihisa