[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...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140107/dd6b63c8/attachment-0002.html>

More information about the isabelle-dev mailing list