[Termtools] pleass send your solver's space Id

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Tue Aug 4 21:19:42 CEST 2015


to clarify:

not the solver's id, but the containing space's id

example: this is the space (62205) that holds matchbox
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=62205

- J.



More information about the Termtools mailing list