[Termtools] Memory problems

Akihisa Yamada akihisayamada at nii.ac.jp
Thu Mar 21 16:51:19 CET 2019


Dear all,

it seems we lost some memory by switching back to runsolver. Does 
someone know how much memory we get?

If you find any other technical problems, please post to termtools and 
let anyone help.

Best regards,
Akihisa


More information about the Termtools mailing list