A new version has appeared and now sledgehammer always complains about
“abnormal termination”.
Larry
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> On 5 Aug 2017, at 09:16, Lawrence Paulson wrote:
>
> A new version has appeared and now sledgehammer always complains about
> “abnormal termination”.
Could you send me the following details?
1. Platform (e.g. macOS 10.12.2)
2. The output of "isabelle getenv CVC4_SOLVER"
3. A concrete exampl
