Re: [isabelle] Sledgehammer - Cannot connect to server

On Thu, 25 Jun 2015, Larry Paulson wrote:

Unfortunately, Vampire is not available for download at the moment either; possibly it will be after CADE in August.

What often helps in such situations are masses of users telling the author of such a tool to release it under a proper open-source license.

Even the MS empire has eventually done that, and released Z3 in a manner that it could be included in Isabelle2015 for everyone to use freely.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.