[Termtools] pleass send your solver's space Id

[Johannes Waldmann]

Dear all,

this is a last-minute emergency call:

I have to work around this:
https://github.com/stefanvonderkrone/star-exec-presenter/issues/94#issuecomment-127519532

but it's blocked by this:
http://starexec.lefora.com/topic/60/docfeature-req-how-to-find-the-space-containing-a-solver

so please send me (email) the starexec space id of your solver.

(there may be other ways to get it, e.g., download the
XML file for the full "termination" space but that's somewhat huge)

Thanks - J.