[Termtools] ANNOUNCEMENT: CeTA-2.27 available as postprocessor on starexec

[Johannes Waldmann]

Dear all,

I just built and uploaded a postprocessor containing CeTA-2.27,
for checking outputs in certified competition categories.

This postprocessor has name ceta-2.27-2 and Id 315.

Please test, and report bugs here:
https://github.com/jwaldmann/ceta-postproc/issues
(I'd also appreciate "works for me" messages)

Of course, by construction, CeTA has no bugs,
but my integration for starexec could have introduced some.

For syntax/semantics/features of CPF/CeTA, see
http://cl-informatik.uibk.ac.at/software/ceta/versions.php

Best regards, Johannes.