Dear all,
I am sure this is already in the pipeline. It seems that the variable
YICES_INSTALLED (and the analogue for other solvers) should be mentioned
in the documentation of sledgehammer (since what is currently given as
installation instructions in `isabelle doc sledgehammer` of changeset
3060e6343953 does not work without setting YICES_INSTALLED="yes").
cheers
chris
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
