[Termtools] Java on StarExec

[Dieter Hofbauer]

Dear all,

testing MultumNonMulta, I see that only Java 8 is supported on
StarExec, but Java 11 is needed by my tool. Does anybody know how to
handle this problem? A rhetorical question, the answer is yes: For
Aprove, Java in bundled with the solver before submitting it to
StarExec, as far as I know.

@Marcel Hark or other Aprove people: Could you please give hints how todo this, as painless as possible?

Thanks in advance and best regards
Dieter

--

Dieter Hofbauer
dieter_hofbauer at web.de
Mühlengasse 16, D-34125 Kassel, Germany
phone (+49) 561 739 29 54