[Termtools] TODAY: Input for TermComp Presentation

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Thu Jul 2 15:02:02 CEST 2020


> Could anybody send quick links (I mean direct URLs) to these problems
> please ?

https://www.starexec.org/starexec/services/benchmarks/11781161/contents?limit=-1

but .. XML. (Needs the xsd to render)



More information about the Termtools mailing list