[isabelle-dev] status of remote_z3

boehmes at in.tum.de boehmes at in.tum.de
Tue Jan 7 21:28:23 CET 2014


> What is the status of remote_z3?



You’re right. It was necessary years ago when only a Windows version of Z3 was available. Fortunately, the situation has changed meanwhile.


Unless Sledgehammer requires the remote_z3 service, any references to this obsolete service can now be removed from the code. I’ll take care of this.


Cheers,

Sascha
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140107/dea11cf8/attachment-0002.html>


More information about the isabelle-dev mailing list