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