Am 07.01.2014 um 21:28 schrieb [email protected]: > 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. Jasmin
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
