[isabelle] R: Isabelle2019-RC2 sporadic smt failures



> With Isabelle2019-RC2 on Windows
> 10, I get sporadic failures of the smt 
> method.

Not sure if this helps: you can try to use the sledgehammer "overlord" option, then manually feed 
the .in z3 file this generates to z3, maybe prepending a "(set-option :verbose xxx)" line, 
in order to investigate what's happening.

Cheers,
Marco




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