[isabelle-dev] status of remote_z3
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Tue Jan 7 23:25:57 CET 2014
Am 07.01.2014 um 21:28 schrieb boehmes at in.tum.de:
> Unless Sledgehammer requires the remote_z3 service, any references to this obsolete service can now be removed from the code.
For users of two-core machines, the remote Z3 service might be of some use. But this was much more relevant back in 2010 than now. Hence, I encourage you to simplify the code.
Incidentally, I believe the sysadmins have killed lxlabbroy1[1-5] or something like that. Hence, I'm not too surprised the service is dead.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev