[Termtools] Java on StarExec

[Dieter Hofbauer]

On Sat, 2020-06-20 at 09:13 +0200, Marcel Hark wrote:
> we include the Java Runtime Environment in the zip for our solver.

Dear Marcel,

that solves the issue. Size of the zip file is increased by a factor of
30, but who cares about memory consumption anyway ...

Tanks a lot and best regards
Dieter

--

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