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